Articles

Monotonicity inference for higher-order formulas

 |  Alexander Krauss

In: Journal of Automated Reasoning, 47(4), 2011 (Jasmin Christian Blanchette and Alexander Krauss) PDF

Ein Beitrag von
Alexander Krauss

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

Mehr Informationen
Alexander