Articles

Partial and nested recursive function definitions in higher-order logic

In: Journal of Automated Reasoning (Alexander Krauss) PDF

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]