Concepedia

Matthias Baaz

MB

30

Publications

1.1K

Citations

22

H-Index

1986

Active since

Affiliations

TU Wien(Current)

University of Siena

Czech Academy of Sciences, Institute of Computer Science

Laboratory Preuves, Programmes et Systèmes

Université Paris Cité

Matthias Baaz is an author at TU Wien specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationComputational ComplexityProof ComplexitySemanticsFuzzy LogicLinguistics

Publications per year

1986–2013

30

Publications

30

ON SKOLEMIZATION AND PROOF COMPLEXITY

Matthias Baaz, Alexander Leitsch · Fundamenta Informaticae · 1994 · 83 citations

Engineering, Substructural Logic, Automated Reasoning +12

Resolution-based Theorem Proving for Many-valued Logics

Matthias Baaz, Christian G. Fermüller · Journal of Symbolic Computation · 1995 · 77 citations

Applied Logic, Engineering, Resolution-based Theorem Proving +5

Cut-elimination and Redundancy-elimination by Resolution

Matthias Baaz, Alexander Leitsch · Journal of Symbolic Computation · 2000 · 73 citations

Mathematical Programming, Computational Complexity Theory, Engineering +6

Hypersequent Calculi for Godel Logics -- a Survey

Matthias Baaz · Journal of Logic and Computation · 2003 · 66 citations · Full text

First-order Gödel logics

Matthias Baaz, Norbert Preining, Richard Zach · Annals of Pure and Applied Logic · 2007 · 64 citations · Full text

Engineering, Automated Reasoning, Classical Logic +4

Rows per page

1–5 of 30