( en | de | ru )

 

Disambiguation of "Fermüller, Christian G."

Author of the publication

copydeleteadd this publication to your clipboard
Interpreting Sequent Calculi as Client-Server Games.

, and . TABLEAUX, volume 10501 of Lecture Notes in Computer Science, page 98-113. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian G Bien

Christian G Weisgerber

Christian G Bucher

Christian G Nagel

Christian G Bien

 

Other publications of authors with the same name

An Analytic Calculus for Quantified Propositional Gödel Logic., , and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 112-126. Springer, (2000)Parallel Dialogue Games and Hypersequents for Intermediate Logics.. TABLEAUX, volume 2796 of Lecture Notes in Computer Science, page 48-64. Springer, (2003)Have Spass with OCC1Ng=., and . LPAR, volume 1955 of Lecture Notes in Computer Science, page 114-130. Springer, (2000)Dual systems of sequents and tableaux for many-valued logics., , and . Bulletin of the EATCS, (1993)Hyperresolution and Automated Model Building., and . J. Log. Comput., 6 (2): 173-203 (1996)Systematic Construction of Natural Deduction Systems for Many-Valued Logics., , and . ISMVL, page 208-213. IEEE Computer Society, (1993)Decision Procedures and Model Building in Equational Clause Logic., and . Logic Journal of the IGPL, 6 (1): 17-41 (1998)A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity., and . Proof Theory in Computer Science, volume 2183 of Lecture Notes in Computer Science, page 38-48. Springer, (2001)A Translation Characterizing the Constructive Content of Classical Theories., and . LPAR, volume 2850 of Lecture Notes in Computer Science, page 107-121. Springer, (2003)Model Building by Resolution., and . CSL, volume 702 of Lecture Notes in Computer Science, page 134-148. Springer, (1992)