Uwe Waldmann
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Semantic Web and Ontologies, Computability, Logic, AI Algorithms
Most-Cited Works
- → Refutational theorem proving for hierarchic first-order theories(1994)104 cited
- Set constraints are the Monadic class(1992)
- → Superposition with simplification as a decision procedure for the monadic class with equality(2005)63 cited
- → Hierarchic Superposition with Weak Abstraction(2013)52 cited
- → Termination proofs of well-moded logic programs via conditional rewrite systems(1993)37 cited
- → Semantics of order-sorted specifications(1992)35 cited
- → Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space(2007)33 cited
- → Modular proof systems for partial functions with Evans equality(2006)32 cited
- → An Extension of the Knuth-Bendix Ordering with LPO-Like Properties(2007)31 cited