Harald Ganzinger
TU Dortmund University(DE)Max Planck Institute for Informatics(DE)Technical University of Munich(DE)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Advanced Algebra and Logic, Semantic Web and Ontologies
Most-Cited Works
- → Resolution Theorem Proving(2001)461 cited
- → Rewrite-based Equational Theorem Proving with Selection and Simplification(1994)399 cited
- → DPLL(T): Fast Decision Procedures(2004)315 cited
- → Automated Deduction — CADE-16(1999)135 cited
- → Attribute coupled grammars(1984)131 cited
- → Basic Paramodulation(1995)128 cited
- → Programs as Data Objects(1986)120 cited