Concepedia

Christian G. Fermüller

CG

15

Publications

545

Citations

14

H-Index

1993

Active since

Affiliations

TU Wien(Current)

Christian G. Fermüller is an author at TU Wien specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceGamesGame TheoryFormal VerificationSemanticsSyntaxLanguage

Publications per year

1993–2015

15

Publications

15

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

Hyperresolution and automated model building

Christian G. Fermüller · Journal of Logic and Computation · 1996 · 74 citations

Applied Logic, Journal Article Hyperresolution, Engineering +20

Removing redundancy from a clause

Georg Gottlob, Christian G. Fermüller · Artificial Intelligence · 1993 · 59 citations

Paraconsistent Logic, Incompleteness

Labeled Calculi and Finite-Valued Logics

Matthias Baaz, Christian G. Fermüller, Gernot Salzer et al. · Studia Logica · 1998 · 49 citations

Systematic construction of natural deduction systems for many-valued logics

Matthias Baaz, Christian G. Fermüller, Richard Zach · 2002 · 49 citations · Full text

Applied Logic, Formal Logic, Non-classical Logic +15

Rows per page

1–5 of 15