Roy Dyckhoff
发表
Nissim Francez,
Roy Dyckhoff,
2010
.
Roy Dyckhoff,
Sara Negri,
2017,
FLAP.
Roy Dyckhoff,
2001
.
Roy Dyckhoff,
2018,
J. Symb. Log..
Roy Dyckhoff,
Hans-Wolfgang Loidl,
Martin Hofmann,
2005
.
Christian Urban,
Roy Dyckhoff,
2003,
J. Log. Comput..
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2010,
Log. Methods Comput. Sci..
Roy Dyckhoff,
Sara Negri,
Sara Negri,
2015,
The Bulletin of Symbolic Logic.
Roy Dyckhoff,
Heinrich Wansing,
2001,
Stud Logica.
Martin Hofmann,
Roy Dyckhoff,
Greg J. Michaelson,
2005,
Trends in Functional Programming.
Roy Dyckhoff,
Sara Negri,
2001,
Log. J. IGPL.
Roy Dyckhoff,
Stéphane Lengrand,
Stéphane Lengrand,
2007,
J. Log. Comput..
Nissim Francez,
Roy Dyckhoff,
N. Francez,
2007,
MOL.
Roy Dyckhoff,
1994
.
Nissim Francez,
Roy Dyckhoff,
N. Francez,
2012,
J. Philos. Log..
Roy Dyckhoff,
Sara Negri,
2000,
J. Symb. Log..
Roy Dyckhoff,
Sara Negri,
Sara Negri,
2006,
Arch. Math. Log..
Roy Dyckhoff,
Sara Negri,
Sara Negri,
2012,
Arch. Math. Log..
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1999,
Theor. Comput. Sci..
Roy Dyckhoff,
Sara Negri,
Sara Negri,
2016,
J. Log. Comput..
Roy Dyckhoff,
Mehrnoosh Sadrzadeh,
Julien Truffaut,
2012,
MFPS.
Roy Dyckhoff,
2000
.
Roy Dyckhoff,
Stéphane Lengrand,
Stéphane Lengrand,
2006,
CiE.
Natarajan Shankar,
Roy Dyckhoff,
1994,
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming.
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1998,
Proof Search in Type-Theoretic Languages@CADE.
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1998,
Stud Logica.
Martin Hofmann,
Roy Dyckhoff,
Greg J. Michaelson,
2006,
WCET.
Roy Dyckhoff,
1993,
ELP.
Roy Dyckhoff,
2000,
Lecture Notes in Computer Science.
Roy Dyckhoff,
Elp,
1994
.
Roy Dyckhoff,
Mehrnoosh Sadrzadeh,
M. Sadrzadeh,
2009,
The Review of Symbolic Logic.
Roy Dyckhoff,
Heinrich Herre,
Peter Schroeder-Heister,
1996
.
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1994,
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming.
Christian Urban,
Roy Dyckhoff,
Fahad Ausaf,
2016,
Arch. Formal Proofs.
Roy Dyckhoff,
R. Dyckhoff,
2016
.
Christian Urban,
Roy Dyckhoff,
Fahad Ausaf,
2016,
ITP.
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1995
.
Roy Dyckhoff,
Susanne Bobzien,
2019,
Stud Logica.
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2006,
CSL.
Roy Dyckhoff,
R. Dyckhoff,
2019,
The Bulletin of Symbolic Logic.
Andrew M. Wallace,
Roy Dyckhoff,
Hans-Wolfgang Loidl,
2006
.
Roy Dyckhoff,
R. Dyckhoff,
1992,
Journal of Symbolic Logic.
Roy Dyckhoff,
R. Dyckhoff,
2016,
Advances in Proof-Theoretic Semantics.
Roy Dyckhoff,
Heinrich Wansing,
2001,
Stud Logica.
Roy Dyckhoff,
2015,
TABLEAUX.
Roy Dyckhoff,
R. Dyckhoff,
1999,
Log. J. IGPL.
Roy Dyckhoff,
H. Schwichtenberg,
A. Troelstra,
2001
.
Roy Dyckhoff,
Mehrnoosh Sadrzadeh,
Julien Truffaut,
2013,
TOCL.
Roy Dyckhoff,
Delia Kesner,
Stéphane Lengrand,
2006,
IJCAR.
Roy Dyckhoff,
Mehrnoosh Sadrzadeh,
2010,
Rev. Symb. Log..
Nissim Francez,
Gilad Ben-Avi,
Roy Dyckhoff,
2010,
Stud Logica.
Roy Dyckhoff,
Walter Tholen,
W. Tholen,
1987
.
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2006
.
Roy Dyckhoff,
Stéphane Lengrand,
2007
.
Roy Dyckhoff,
R. Dyckhoff,
1984
.
Roy Dyckhoff,
2000
.
Roy Dyckhoff,
R. Dyckhoff,
2009
.
Roy Dyckhoff,
Luis Pinto,
1994
.
Roy Dyckhoff,
2006
.
Luís Pinto,
Roy Dyckhoff,
2001
.
Luís Pinto,
Roy Dyckhoff,
1999
.