( en | de | ru )

 

Disambiguierung von "Zach, Richard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics.

, , und . ISMVL, Seite 175-180. IEEE Computer Society, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Krista Zach

Rupert Zach

Cornelius Zach

Frank Zach

Alexandra Zach

 

Weitere Publikationen von Autoren mit dem selben Namen

Effective Finite-Valued Approximations of General Propositional Logics., und . Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 107-129. Springer, (2008)Completeness before Post: Bernays, Hilbert, and the development of propositional logic.. Bull. Symb. Log., 5 (3): 331-366 (1999)Approximating Propositional Calculi by Finite-Valued Logics., und . ISMVL, Seite 257-263. IEEE Computer Society, (1994)Algorithmic Structuring of Cut-free Proofs., und . CSL, Volume 702 von Lecture Notes in Computer Science, Seite 29-42. Springer, (1992)Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs., , und . CSL, Volume 1092 von Lecture Notes in Computer Science, Seite 1-15. Springer, (1995)Note on calculi for a three-valued logic for logic programming.., und . Bulletin of the EATCS, (1992)Carnap's early metatheory: scope and limits., , und . Synth., 194 (1): 33-65 (2017)Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic., und . Bull. Symb. Log., 21 (2): 164-187 (2015)Helmut Veith (1971-2016) by Richard Zach.. Bull. EATCS, (2016)Semantics and Proof Theory of the Epsilon Calculus.. ICLA, Volume 10119 von Lecture Notes in Computer Science, Seite 27-47. Springer, (2017)