Fachartikel

Partial and nested recursive function definitions in higher-order logic

 |  Alexander Krauss

In: Journal of Automated Reasoning (Alexander Krauss) PDF

Ein Beitrag von
Alexander Krauss

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

Mehr Informationen
Alexander