Concepedia

Chad E. Brown

CE

10

Publications

321

Citations

10

H-Index

2004

Active since

Affiliations

Saarland University(Current)

Carnegie Mellon University

Constructor University

Chad E. Brown is an author at Saarland University specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSyntaxLanguageLinguisticsGrammarSemanticsVerification

Publications per year

2004–2020

10

Publications

10

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

TPS: A hybrid automatic-interactive system for developing proofs

Peter B. Andrews, Chad E. Brown · Journal of Applied Logic · 2005 · 46 citations

Engineering, Hybrid Automatic-interactive System, Program Analysis +9

Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems

Chad E. Brown · Journal of Automated Reasoning · 2013 · 34 citations

Engineering, Automated Reasoning, Proof Complexity +6

Analytic Tableaux for Higher-Order Logic with Choice

Julian Backes, Chad E. Brown · Journal of Automated Reasoning · 2011 · 30 citations

Engineering, Automated Reasoning, Many-valued Logic +4

ETPS: A System to Help Students Write Formal Proofs

Peter B. Andrews, Chad E. Brown, Frank Pfenning et al. · Journal of Automated Reasoning · 2004 · 21 citations

Mathematics Education, Engineering, Automated Reasoning +7

Rows per page

1–5 of 10