BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Estonia
1 × France
1 × Italy
1 × USA
2 × Germany
Collaborated with:
M.Baaz A.Leitsch R.Pichler G.Salzer R.Zach
Talks about:
resolut (3) logic (3) elementari (2) prenex (2) model (2) claus (2) some (2) intuitionist (1) transform (1) represent (1)

Person: Christian G. Fermüller

DBLP DBLP: Ferm=uuml=ller:Christian_G=

Contributed to:

CSL 20152015
CSL 20102010
CADE 20052005
CADE 19961996
LICS 19941994
CSL 19921992
CSL 19901990

Wrote 8 papers:

CSL-2015-BaazF #logic
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic (MB, CGF), pp. 94–109.
CSL-2010-BaazF #logic
A Resolution Mechanism for Prenex Gödel Logic (MB, CGF), pp. 67–79.
CADE-2005-FermullerP #representation
Model Representation via Contexts and Implicit Generalizations (CGF, RP), pp. 409–423.
CADE-1996-BaazFSZ #logic #towards
MUltlog 1.0: Towards an Expert System for Many-Valued Logics (MB, CGF, GS, RZ), pp. 226–230.
CADE-1996-Fernmuller #semantics
Semantic Trees Revisited: Some New Completeness Results (CGF), pp. 568–582.
LICS-1994-BaazFL #proving
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation (MB, CGF, AL), pp. 213–219.
Model Building by Resolution (CGF, AL), pp. 134–148.
CSL-1990-Fermuller #set
A Resolution Variant Deciding some Classes of Clause Sets (CGF), pp. 128–144.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.