Follow
Chris Fermüller
Chris Fermüller
Professor of Computer Science, Vienna University of Technology
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
Resolution methods for the decision problem
C Fermüller, A Leitsch, T Tammet, N Zamov
Springer Berlin Heidelberg, 1993
1801993
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1572001
Resolution-based theorem proving for many-valued logics
M Baaz, CG Fermüller
Journal of Symbolic Computation 19 (4), 353-391, 1995
1111995
Hyperresolution and automated model building
C Fermüller, A Leitsch
Journal of Logic and Computation 6 (2), 173-203, 1996
1061996
Hypersequent calculi for Gödel logics—a survey
M Baaz, A Ciabattoni, CG Fermüller
Journal of Logic and Computation 13 (6), 835-861, 2003
1052003
Removing redundancy from a clause
G Gottlob, CG Fermüller
Artificial Intelligence 61 (2), 263-289, 1993
981993
Fuzzy logic
P Cintula, CG Fermüller, C Noguera
912016
Elimination of cuts in first-order finite-valued logics
M Baaz, CG Fermüller, R Zach
Institut für Informatik, 1994
821994
Systematic construction of natural deduction systems for many-valued logics
M Baaz, CG Fermuller, R Zach
[1993] Proceedings of the Twenty-Third International Symposium on Multiple …, 1993
75*1993
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61, 7-33, 1998
731998
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005
702005
Automated deduction for many-valued logics
M Baaz, CG Fermüller, G Salzer
Handbook of automated reasoning, 1355-1402, 2001
702001
Analytic calculi for projective logics
M Baaz, CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
651999
Resolution for many-valued logics
M Baaz, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 1992
651992
Non-elementary speedups between different versions of tableaux
M Baaz, CG Fermüller
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
581995
Giles’s game and the proof theory of Łukasiewicz logic
CG Fermüller, G Metcalfe
Studia Logica 92, 27-61, 2009
542009
A non-elementary speed-up in proof length by structural clause form transformation
M Baaz, CG Fermuller, A Leitsch
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 213-219, 1994
511994
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving
M Baaz, A Ciabattoni, CG Fermüller
Logic for Programming, Artificial Intelligence, and Reasoning: 8th …, 2001
462001
Dual systems of sequents and tableaux for many-valued logics
M Baaz, CG Fermüller, R Zach
441993
Parallel dialogue games and hypersequents for intermediate logics
CG Fermüller
International conference on automated reasoning with analytic tableaux and …, 2003
432003
The system can't perform the operation now. Try again later.
Articles 1–20