Concepedia

Christoph Benzmüller

CB

39

Publications

1.1K

Citations

20

H-Index

1997

Active since

Affiliations

Freie Universität Berlin(Current)

Saarland University

University of Luxembourg

Particulate Solid Research (United States)

University of Cambridge

Christoph Benzmüller is an author at Freie Universität Berlin specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsLanguageLinguisticsVerificationFormal VerificationSyntax

Publications per year

1997–2024

39

Publications

39

Higher-order semantics and extensionality

Christoph Benzmüller, Chad E. Brown, Michael Kohlhase · Journal of Symbolic Logic · 2004 · 110 citations

Formal Semantics, Boolean Extensionality, Non-classical Logic +15

Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure

Geoff Sutcliffe, Christoph Benzmüller · 2010 · 81 citations · Full text

Engineering, Verification, Automated Proof +17

Quantified Multimodal Logics in Simple Type Theory

Christoph Benzmüller, Lawrence C. Paulson · Logica Universalis · 2012 · 77 citations

Simple Type Theory, Automated Reasoning, Classical Logic +5

The Higher-Order Prover Leo-II

Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson et al. · Journal of Automated Reasoning · 2015 · 66 citations · Full text

Universal (meta-)logical reasoning: Recent successes

Christoph Benzmüller · Science of Computer Programming · 2018 · 50 citations · Full text

Non-classical Logic, Cognitive Science, Reasoning System +4

Rows per page

1–5 of 39