R. Dyckhoff
发表
Andrew M. Wallace,
Roy Dyckhoff,
Hans-Wolfgang Loidl,
2006
.
P. Collins,
R. Dyckhoff,
1977
.
R. Dyckhoff,
2015
.
Martin Hofmann,
Roy Dyckhoff,
Greg J. Michaelson,
2005,
Trends in Functional Programming.
Roy Dyckhoff,
Stéphane Lengrand,
Stéphane Lengrand,
2007,
J. Log. Comput..
Roy Dyckhoff,
Mehrnoosh Sadrzadeh,
M. Sadrzadeh,
2009,
The Review of Symbolic Logic.
Nissim Francez,
Gilad Ben-Avi,
Roy Dyckhoff,
2010,
Stud Logica.
Nissim Francez,
Roy Dyckhoff,
N. Francez,
2007,
MOL.
Roy Dyckhoff,
R. Dyckhoff,
2016,
Advances in Proof-Theoretic Semantics.
Nissim Francez,
Roy Dyckhoff,
N. Francez,
2012,
J. Philos. Log..
Roy Dyckhoff,
R. Dyckhoff,
2009
.
Roy Dyckhoff,
Walter Tholen,
W. Tholen,
1987
.
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2010,
Log. Methods Comput. Sci..
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2006,
CSL.
Roy Dyckhoff,
Stéphane Lengrand,
James McKinna,
2006
.
Roy Dyckhoff,
Sara Negri,
Sara Negri,
2015,
The Bulletin of Symbolic Logic.
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1994,
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming.
Roy Dyckhoff,
Sara Negri,
Sara Negri,
2016,
J. Log. Comput..
R. Dyckhoff,
1972
.
Roy Dyckhoff,
R. Dyckhoff,
1984
.
R. Dyckhoff,
1976
.
Roy Dyckhoff,
Sara Negri,
Sara Negri,
2012,
Arch. Math. Log..
Roy Dyckhoff,
Stéphane Lengrand,
Stéphane Lengrand,
2006,
CiE.
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1999,
Theor. Comput. Sci..
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1998,
Stud Logica.
Roy Dyckhoff,
Mehrnoosh Sadrzadeh,
Julien Truffaut,
2012,
MFPS.
Roy Dyckhoff,
Delia Kesner,
Stéphane Lengrand,
2006,
IJCAR.
Roy Dyckhoff,
R. Dyckhoff,
2016
.
Roy Dyckhoff,
R. Dyckhoff,
1992,
Journal of Symbolic Logic.
J. McKinna,
Stéphane Lengrand,
R. Dyckhoff,
2010,
Log. Methods Comput. Sci..
Roy Dyckhoff,
Mehrnoosh Sadrzadeh,
Julien Truffaut,
2013,
TOCL.
Sara Negri,
R. Dyckhoff,
2011,
Archive for Mathematical Logic.
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1995
.
Roy Dyckhoff,
Sara Negri,
Sara Negri,
2006,
Arch. Math. Log..
Roy Dyckhoff,
R. Dyckhoff,
1999,
Log. J. IGPL.
Roy Dyckhoff,
R. Dyckhoff,
2019,
The Bulletin of Symbolic Logic.
Luís Pinto,
Roy Dyckhoff,
R. Dyckhoff,
1998,
Proof Search in Type-Theoretic Languages@CADE.