Uwe Waldmann

Available identifiers

zbMath Open waldmann.uweMaRDI QIDQ293310

List of research outcomes

Publication	Date of Publication	Type
Termination proofs of well-moded logic programs via conditional rewrite systems	2023-03-09	Paper
Compatibility of order-sorted rewrite rules	2023-03-09	Paper
A comprehensive framework for saturation theorem proving	2022-12-12	Paper
A comprehensive framework for saturation theorem proving	2022-11-09	Paper
Superposition with lambdas	2021-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4989394	2021-05-25	Paper
Formalizing Bachmair and Ganzinger's ordered resolution prover	2020-11-02	Paper
Hierarchic superposition revisited	2020-06-04	Paper
Superposition with lambdas	2020-03-10	Paper
Theorem proving in cancellative abelian monoids (extended abstract)	2019-01-15	Paper
Superposition for \(\lambda\)-free higher-order logic	2018-10-18	Paper
Formalizing Bachmair and Ganzinger's ordered resolution prover	2018-10-18	Paper
A transfinite Knuth-Bendix order for lambda-free higher-order terms	2017-09-22	Paper
A Lambda-Free Higher-Order Recursive Path Order	2017-05-19	Paper
Extending reduction orderings to ACU-compatible reduction orderings	2016-06-09	Paper
Modal Tableau Systems with Blocking and Congruence Closure	2015-12-11	Paper
Beagle – A Hierarchic Superposition Theorem Prover	2015-12-02	Paper
Finite Quantification in Hierarchic Theorem Proving	2014-09-26	Paper
Hierarchic Superposition with Weak Abstraction	2013-06-14	Paper
From Search to Computation: Redundancy Criteria and Simplification at Work	2013-04-19	Paper
A combined superposition and model evolution calculus	2012-07-31	Paper
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces	2012-07-20	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Superposition and Model Evolution Combined	2009-07-28	Paper
Automatic Verification of Hybrid Systems with Large Discrete State Space	2008-09-04	Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space	2008-07-03	Paper
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties	2008-05-15	Paper
Automated Reasoning	2007-09-25	Paper
Comparing instance generation methods for automated reasoning	2007-05-04	Paper
Modular proof systems for partial functions with Evans equality	2006-10-25	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Cancellative Abelian monoids and related structures in refutational theorem proving. I	2003-03-23	Paper
Cancellative Abelian monoids and related structures in refutational theorem proving. II	2003-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4539608	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4938422	2000-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4246725	1999-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4249895	1999-06-17	Paper
Refutational theorem proving for hierarchic first-order theories	1994-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4282593	1994-04-17	Paper
Semantics of order-sorted specifications	1992-06-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Uwe Waldmann