Partial recursive functions in higher-order logic

In: Ulrich Furbach and Natarajan Shankar, editors, Automated Reasoning (IJCAR 2006) (Alexander Krauss) PDF

Alexander Krauss

A contribution from

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