Fachartikel

Partial and nested recursive function definitions in higher-order logic

In: Journal of Automated Reasoning (Alexander Krauss) PDF

Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]