SUPERPOSITION FOR LAMBDA-FREE HIGHER-ORDER LOGIC von Bentkamp, Alexander, Blanchette, Jasmin, Cruanes, Simon, Waldmann, Uwe

Volltext

Hierarchic Superposition Revisited von Baumgartner, Peter, Waldmann, Uwe

Volltext

A Comprehensive Framework for Saturation Theorem Proving von Waldmann, Uwe, Tourret, Sophie, Robillard, Simon, Blanchette, Jasmin

Volltext

Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover von Schlichtkrull, Anders, Blanchette, Jasmin, Traytel, Dmitriy, Waldmann, Uwe

Volltext

Superposition with Lambdas von Bentkamp, Alexander, Blanchette, Jasmin, Tourret, Sophie, Vukmirović, Petar, Waldmann, Uwe

Volltext

On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus von Waldmann, Uwe

Volltext bestellen

Beagle – A Hierarchic Superposition Theorem Prover von Baumgartner, Peter, Bax, Joshua, Waldmann, Uwe

Volltext

Superposition with Lambdas von Bentkamp, Alexander, Blanchette, Jasmin, Tourret, Sophie, Vukmirović, Petar, Waldmann, Uwe

Volltext

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements: Stronger Higher-Order Automation: A Report on... von Blanchette, Jasmin, Fontaine, Pascal, Schulz, Stephan, Tourret, Sophie, Waldmann, Uwe

Volltext

A Comprehensive Framework for Saturation Theorem Proving von Waldmann, Uwe, Tourret, Sophie, Robillard, Simon, Blanchette, Jasmin

Volltext

Hierarchic Superposition with Weak Abstraction von Baumgartner, Peter, Waldmann, Uwe

Volltext

A Combined Superposition and Model Evolution Calculus von Baumgartner, Peter, Waldmann, Uwe

Volltext

Modal tableau systems with blocking and congruence closure von Schmidt, Renate A, Waldmann, Uwe

Volltext bestellen

Superposition for Lambda-Free Higher-Order Logic von Bentkamp, Alexander, Blanchette, Jasmin Christian, Cruanes, Simon, Waldmann, Uwe

Volltext

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement von Althaus, Ernst, Beber, Björn, Damm, Werner, Disch, Stefan, Hagemann, Willem, Rakow, Astrid, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris

Volltext

Foreword to the Special Focus on Constraints and Combinations von Fontaine, Pascal, Sturm, Thomas, Waldmann, Uwe

Volltext

On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus von Waldmann, Uwe

Volltext

Modal Tableau Systems with Blocking and Congruence Closure von Schmidt, Renate A., Waldmann, Uwe

Volltext

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover von Schlichtkrull, Anders, Blanchette, Jasmin Christian, Traytel, Dmitriy, Waldmann, Uwe

Volltext

Comparing Instance Generation Methods for Automated Reasoning von Jacobs, Swen, Waldmann, Uwe

Volltext