Concepedia

Uwe Waldmann

UW

12

Publications

440

Citations

11

H-Index

1992

Active since

Affiliations

Max Planck Institute for Informatics(Current)

Max Planck Society

Vrije Universiteit Amsterdam

Laboratoire d'Informatique en Images et Systèmes d'Information

Stony Brook University

Uwe Waldmann is an author at Max Planck Institute for Informatics specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsSemantic WebVerificationSatisfiabilityProof Complexity

Publications per year

1992–2022

12

Publications

12

Refutational theorem proving for hierarchic first-order theories

Leo Bachmair, Harald Ganzinger, Uwe Waldmann · Applicable Algebra in Engineering Communication and Computing · 1994 · 104 citations

Engineering, Automated Reasoning, Formal Methods +4

Set constraints are the Monadic class

Uwe Waldmann · MPG.PuRe (Max Planck Society) · 1992 · 103 citations · Full text

Superposition with simplification as a decision procedure for the monadic class with equality

Leo Bachmair, Harald Ganzinger, Uwe Waldmann · Lecture notes in computer science · 2005 · 63 citations

Algebraic Logic, Decision Procedure, Engineering +8

Semantics of order-sorted specifications

Uwe Waldmann · Theoretical Computer Science · 1992 · 35 citations

Order-sorted Specifications, Order Theory, Specification Language +9

Modular proof systems for partial functions with Evans equality

Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann · Information and Computation · 2006 · 32 citations

Calculus Of Variation, Modular Proof Systems, Generalized Function +1

Rows per page

1–5 of 12