( en | de | ru )

 

Disambiguierung von "Baaz, Matthias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dual systems of sequents and tableaux for many-valued logics.

, , und . Bulletin of the EATCS, (1993)

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.

Matthias Meyer

Musterbasiertes Re-Engineering von Softwaresystemen. Uni Paderborn, (2009)

Matthias Hägele

Immunrekonstitution nach haploidenter hämatopoetischer Stammzelltransplantation: Einfluss eines CD3-CD19-depletierten gegenüber einem CD34-selektionierten Transplantat. Uni Tübingen, (2008)

Matthias Schmidt

Topographische Verteilung und Morphometrie von retinalen Mikrogliazellen. Uni Münster, (2009)

Matthias Möller

Antikaons in infinite nuclear matter and nuclei. TU Darmstadt, (2007)

Matthias Zimmer

Risikomanagment: Fehlermanagment in der präklinischen Notfallmedizin. Uni Frankfurt Main, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Embedding Logics into Product Logic., , , und . Stud Logica, 61 (1): 35-47 (1998)Cut-Elimination: Syntax and Semantics., und . Stud Logica, 102 (6): 1217-1244 (2014)Gentzen Calculi for the Existence Predicate., und . Stud Logica, 82 (1): 7-23 (2006)Epsilon theorems in Intermediate Logics., und . J. Symb. Log., 87 (2): 682-720 (2022)Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können.. ÖGAI, Volume 151 von Informatik-Fachberichte, Seite 176-181. Springer, (1987)Note on Conditional Constructivity.. Algebraic and Proof-theoretic Aspects of Non-classical Logics, Volume 4460 von Lecture Notes in Computer Science, Seite 25-29. Springer, (2006)An Analytic Calculus for Quantified Propositional Gödel Logic., , und . TABLEAUX, Volume 1847 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2000)Cut Normal Forms and Proof Complexity., und . Ann. Pure Appl. Log., 97 (1-3): 127-177 (1999)Note on witnessed Gödel logics with Delta., und . Ann. Pure Appl. Log., 161 (2): 121-127 (2009)The Skolemization of existential quantifiers in intuitionistic logic., und . Ann. Pure Appl. Log., 142 (1-3): 269-295 (2006)