M. Baaz
发表
Alexander Leitsch,
Matthias Baaz,
Stefan Hetzl,
2008,
Theoretical Computer Science.
M. Baaz,
A. Ciabattoni,
R. Zach,
2000,
math/0006122.
Gerald Quirchmayr,
Fernando Galindo,
Matthias Baaz,
1993,
DEXA.
Matthias Baaz,
George Metcalfe,
M. Baaz,
2009,
J. Log. Comput..
Christian G. Fermüller,
Matthias Baaz,
M. Baaz,
1999,
TABLEAUX.
M. Baaz,
A. Ciabattoni,
Christian G. Fermiiller,
2003
.
M. Baaz,
A. Ciabattoni,
C. Fermüller,
2003
.
M. Baaz,
C. Fermüller,
N. Preining,
2022
.
M. Baaz,
A. Leitsch,
2011
.
M. Baaz,
A. Leitsch,
2011
.
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
1992,
Ann. Pure Appl. Log..
Matthias Baaz,
Richard Zach,
Norbert Preining,
2006
.
Helmut Veith,
Matthias Baaz,
M. Baaz,
2000
.
M. Baaz,
R. Zach,
N. Preining,
2003
.
Matthias Baaz,
Richard Zach,
M. Baaz,
2000,
CSL.
Christian G. Fermüller,
Matthias Baaz,
Agata Ciabattoni,
2001
.
M. Baaz,
A. Ciabattoni,
A. Guglielmi,
2013
.
M. Baaz,
K. Svozil,
N. Brunner,
1995
.
M. Baaz,
J. Krajícek,
F. Stephan,
2016
.
Christos H. Papadimitriou,
Dana S. Scott,
Matthias Baaz,
2011
.
M. Baaz,
J. Krajícek,
Chris Miller,
2016
.
Christos H. Papadimitriou,
Dana S. Scott,
Matthias Baaz,
2014
.
Christos H. Papadimitriou,
Dana S. Scott,
Matthias Baaz,
2011
.
M. Baaz,
G. Quirchmayr,
1992
.
Jean Goubault-Larrecq,
Alexander Leitsch,
David A. Plaisted,
2001,
Handbook of Automated Reasoning.
M. Baaz,
A. Ciabattoni,
C. Fermüller,
2018
.
M. Baaz,
A. Ciabattoni,
H. Veith,
2001
.
M. Baaz,
Stefan Hetzl,
A. Leitsch,
2006
.
M. Baaz,
R. Zach,
N. Preining,
2006,
Ann. Pure Appl. Log..
M. Baaz,
N. Preining,
S. Bova,
2010
.
M. Baaz,
Rosalie Iemhoff,
2008
.
M. Baaz,
E. Fokina,
2016
.
M. Baaz,
R. Zach,
2019
.
M. Baaz,
Rosalie Iemhoff,
2015
.
M. Baaz,
A. Ciabattoni,
R. Zach,
2000,
math/0006122.
M. Baaz,
J. Krajícek,
S. Friedman,
2016
.
M. Baaz,
A. Leitsch,
2011
.
M. Baaz,
A. Leitsch,
2014,
Studia Logica.
Helmut Veith,
Franco Montagna,
Petr Hájek,
2001,
Ann. Pure Appl. Log..
Helmut Veith,
Matthias Baaz,
M. Baaz,
1999,
Arch. Math. Log..
Helmut Veith,
Matthias Baaz,
M. Baaz,
1998,
CSL.
Ori Lahav,
Anna Zamansky,
Matthias Baaz,
2013,
Journal of Automated Reasoning.
Franco Montagna,
Matthias Baaz,
Agata Ciabattoni,
2003,
Fundam. Informaticae.
Christian G. Fermüller,
Matthias Baaz,
Agata Ciabattoni,
2003,
J. Log. Comput..
Christian G. Fermüller,
Gernot Salzer,
Matthias Baaz,
1998,
Stud Logica.
Matthias Baaz,
M. Baaz,
2005,
CSL.
Alexander Leitsch,
Matthias Baaz,
Stefan Hetzl,
2005,
LPAR.
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
2000,
J. Symb. Comput..
Christian G. Fermüller,
Gernot Salzer,
Matthias Baaz,
2001,
Handbook of Automated Reasoning.
Christian G. Fermüller,
Matthias Baaz,
Richard Zach,
1993,
J. Inf. Process. Cybern..
Christian G. Fermüller,
Matthias Baaz,
M. Baaz,
1995,
TABLEAUX.
Georg Moser,
Matthias Baaz,
M. Baaz,
2006,
Arch. Math. Log..
Georg Moser,
Matthias Baaz,
M. Baaz,
2001,
CSL.
M. Baaz,
J. Krajícek,
J. Cummings,
2016
.
Alexander Leitsch,
Matthias Baaz,
Stefan Hetzl,
2006,
MKM.
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
2011
.
Matthias Baaz,
Richard Zach,
Norbert Preining,
2003,
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings..
Matthias Baaz,
Richard Zach,
Agata Ciabattoni,
2000,
LPAR.
Matthias Baaz,
Richard Zach,
M. Baaz,
1998,
Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138).
Christian G. Fermüller,
Matthias Baaz,
M. Baaz,
1995,
J. Symb. Comput..
Matthias Baaz,
Agata Ciabattoni,
M. Baaz,
2016,
J. Log. Comput..
Christian G. Fermüller,
Matthias Baaz,
Agata Ciabattoni,
2008,
LPAR.
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
1995
.
Christian G. Fermüller,
Matthias Baaz,
Uwe Egly,
1997,
TABLEAUX.
Alexander Leitsch,
Matthias Baaz,
Richard Zach,
1996,
Theor. Comput. Sci..
Alexander Leitsch,
Matthias Baaz,
Richard Zach,
1995,
CSL.
Matthias Baaz,
Stefan Hetzl,
M. Baaz,
2011,
The Journal of Symbolic Logic.
Matthias Baaz,
Richard Zach,
M. Baaz,
2019,
The Journal of Symbolic Logic.
Gerald Quirchmayr,
Matthias Baaz,
M. Baaz,
1987
.
Matthias Baaz,
Richard Zach,
M. Baaz,
2019,
Pillars of Computer Science.
Matthias Baaz,
Anela Lolic,
M. Baaz,
2018,
LPAR.
M. Baaz,
Oliver Fasching,
2014,
Archive for Mathematical Logic.
Matthias Baaz,
Oliver Fasching,
M. Baaz,
2014,
Arch. Math. Log..
Matthias Baaz,
Oliver Fasching,
M. Baaz,
2013,
LPAR short papers.
Matthias Baaz,
Oliver Fasching,
M. Baaz,
2012,
Fuzzy Sets Syst..
Christian G. Fermüller,
Matthias Baaz,
Agata Ciabattoni,
2012,
Log. Methods Comput. Sci..
Christian G. Fermüller,
Matthias Baaz,
M. Baaz,
2010,
CSL.
Christian G. Fermüller,
Matthias Baaz,
Agata Ciabattoni,
2007,
LPAR.
Matthias Baaz,
Richard Zach,
Norbert Preining,
2006,
36th International Symposium on Multiple-Valued Logic (ISMVL'06).
Matthias Baaz,
Agata Ciabattoni,
M. Baaz,
2002,
TABLEAUX.
Christian G. Fermüller,
Matthias Baaz,
Agata Ciabattoni,
2001,
LPAR.
Christian G. Fermüller,
Matthias Baaz,
Agata Ciabattoni,
2001,
Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
Helmut Veith,
Christian G. Fermüller,
Matthias Baaz,
2000,
TABLEAUX.
M. Baaz,
A. Ciabattoni,
H. Veith,
1999,
FSTTCS.
Helmut Veith,
Matthias Baaz,
Agata Ciabattoni,
1998,
MFCS.
Matthias Baaz,
Richard Zach,
M. Baaz,
1994,
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94).
Matthias Baaz,
Richard Zach,
M. Baaz,
2000
.
Matthias Baaz,
Anela Lolic,
M. Baaz,
2021,
Inf. Comput..
Matthias Baaz,
Juan P. Aguilera,
J. P. Aguilera,
2016,
WoLLIC.
Matthias Baaz,
Piotr Wojtylak,
M. Baaz,
2008,
Ann. Pure Appl. Log..
Christian G. Fermüller,
Matthias Baaz,
M. Baaz,
2003,
LPAR.
Matthias Baaz,
M. Baaz,
2002,
CADE.
Christian G. Fermüller,
Matthias Baaz,
M. Baaz,
2001,
Proof Theory in Computer Science.
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
1999,
Ann. Pure Appl. Log..
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
1996,
CSL.
Christian G. Fermüller,
Matthias Baaz,
M. Baaz,
1996,
TABLEAUX.
Christian G. Fermüller,
Matthias Baaz,
M. Baaz,
1996,
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96).
Christian G. Fermüller,
Matthias Baaz,
Richard Zach,
1993,
[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic.
M. Baaz,
A. Leitsch,
2011
.
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
2011
.
Norbert Brunner,
Matthias Baaz,
Karl Svozil,
1996,
Math. Log. Q..
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
2011
.
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
2006,
J. Symb. Comput..
Alexander Leitsch,
Matthias Baaz,
M. Baaz,
1994,
Fundam. Informaticae.
Matthias Baaz,
George Metcalfe,
M. Baaz,
2008,
CiE.
Jan Krajícek,
Petr Hájek,
Matthias Baaz,
1998,
Stud Logica.
Matthias Baaz,
Rosalie Iemhoff,
M. Baaz,
2016,
Log. J. IGPL.
Matthias Baaz,
M. Baaz,
2006,
Algebraic and Proof-theoretic Aspects of Non-classical Logics.
Matthias Baaz,
Anela Lolic,
M. Baaz,
2021,
J. Log. Comput..