Uwe Waldmann

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 23

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Uwe Waldmann
On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus. IJCAR (1) (2024)
Uwe Waldmann
On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus. CoRR (2024)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann
Complete and Efficient Higher-Order Reasoning via Lambda-Superposition. ACM SIGLOG News 10 (4) (2023)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Mechanical Mathematicians. Commun. ACM 66 (4) (2023)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
A Comprehensive Framework for Saturation Theorem Proving. J. Autom. Reason. 66 (4) (2022)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CoRR (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. J. Autom. Reason. 65 (7) (2021)
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. Log. Methods Comput. Sci. 17 (2) (2021)
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. CoRR (2020)
Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. J. Autom. Reason. 64 (7) (2020)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
A Comprehensive Framework for Saturation Theorem Proving. IJCAR (1) (2020)
Peter Baumgartner, Uwe Waldmann
Hierarchic Superposition Revisited. Description Logic, Theory Combination, and All That (2019)
Peter Baumgartner, Uwe Waldmann
Hierarchic Superposition Revisited. CoRR (2019)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CADE (2019)
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. IJCAR (2018)
Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. IJCAR (2018)
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. Arch. Formal Proofs 2018 (2018)
Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms. CADE (2017)
Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
A Lambda-Free Higher-Order Recursive Path Order. FoSSaCS (2017)
Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann
Towards Strong Higher-Order Automation for Fast Interactive Verification. ARCADE@CADE (2017)
Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. Sci. Comput. Program. 148 (2017)
Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
Formalization of Recursive Path Orders for Lambda-Free Higher-Order Terms. Arch. Formal Proofs 2016 (2016)
Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order Terms. Arch. Formal Proofs 2016 (2016)
Pascal Fontaine, Thomas Sturm, Uwe Waldmann
Foreword to the Special Focus on Constraints and Combinations. Math. Comput. Sci. 9 (3) (2015)
Renate A. Schmidt, Uwe Waldmann
Modal Tableau Systems with Blocking and Congruence Closure. TABLEAUX (2015)
Peter Baumgartner, Joshua Bax, Uwe Waldmann
Beagle - A Hierarchic Superposition Theorem Prover. CADE (2015)
Uwe Waldmann
Hierarchic Superposition Revisited. PAAR@IJCAR (2014)
Peter Baumgartner, Joshua Bax, Uwe Waldmann
Finite Quantification in Hierarchic Theorem Proving. IJCAR (2014)
Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach
From Search to Computation: Redundancy Criteria and Simplification at Work. Programming Logics (2013)
Peter Baumgartner, Uwe Waldmann
Hierarchic Superposition with Weak Abstraction. CADE (2013)
Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Sci. Comput. Program. 77 (10-11) (2012)
Peter Baumgartner, Uwe Waldmann
A Combined Superposition and Model Evolution Calculus. J. Autom. Reason. 47 (2) (2011)
Peter Baumgartner, Uwe Waldmann
Superposition and Model Evolution Combined. CADE (2009)
Michel Ludwig, Uwe Waldmann
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. LPAR (2007)
Swen Jacobs, Uwe Waldmann
Comparing Instance Generation Methods for Automated Reasoning. J. Autom. Reason. 38 (1-3) (2007)
Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA (2007)
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA (2006)
Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
Modular proof systems for partial functions with Evans equality. Inf. Comput. 204 (10) (2006)
Swen Jacobs, Uwe Waldmann
Comparing Instance Generation Methods for Automated Reasoning. TABLEAUX (2005)
Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
Modular Proof Systems for Partial Functions with Weak Equality. IJCAR (2004)
Harald Ganzinger, Thomas Hillenbrand, Uwe Waldmann
Superposition Modulo a Shostak Theory. CADE (2003)
Uwe Waldmann
Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II). J. Symb. Comput. 33 (6) (2002)
Uwe Waldmann
Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I). J. Symb. Comput. 33 (6) (2002)
Uwe Waldmann
Superposition and Chaining for Totally Ordered Divisible Abelian Groups. IJCAR (2001)
Uwe Waldmann
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups. LPAR (1999)
Uwe Waldmann
Extending Reduction Orderings to ACU-Compatible Reduction Orderings. Inf. Process. Lett. 67 (1) (1998)
Uwe Waldmann
Superposition for Divisible Torsion-Free Abelian Groups. CADE (1998)
Harald Ganzinger, Uwe Waldmann
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract). CADE (1996)
Leo Bachmair, Harald Ganzinger, Uwe Waldmann
Refutational Theorem Proving for Hierarchic First-Order Theories. Appl. Algebra Eng. Commun. Comput. 5 (1994)
Leo Bachmair, Harald Ganzinger, Uwe Waldmann
Set Constraints are the Monadic Class LICS (1993)
Leo Bachmair, Harald Ganzinger, Uwe Waldmann
Superposition with Simplification as a Desision Procedure for the Monadic Class with Equality. Kurt Gödel Colloquium (1993)
Leo Bachmair, Harald Ganzinger, Uwe Waldmann
Theorem Proving for Hierarchic First-Order Theories. ALP (1992)
Uwe Waldmann
Semantics of Order-Sorted Specifications. Theor. Comput. Sci. 94 (1) (1992)
Harald Ganzinger, Uwe Waldmann
Termination Proofs of Well-Moded Logic Programs via Conditional Rewrite Systems. CTRS (1992)
Uwe Waldmann
Compatibility of Order-Sorted Rewrite Rules. CTRS (1990)

Uwe Waldmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Uwe Waldmann