Roy Dyckhoff

发表

Roy Dyckhoff, Hans-Wolfgang Loidl, Martin Hofmann, 2005 .

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, Stéphane Lengrand, Stéphane Lengrand, 2007, J. Log. Comput..

Nissim Francez, Roy Dyckhoff, N. Francez, 2007, MOL.

Nissim Francez, Roy Dyckhoff, N. Francez, 2012, J. Philos. 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, 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, Mehrnoosh Sadrzadeh, M. Sadrzadeh, 2009, The Review of Symbolic Logic.

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.

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, H. Schwichtenberg, A. Troelstra, 2001 .

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, 2009 .

Roy Dyckhoff, Luis Pinto, 1994 .

Luís Pinto, Roy Dyckhoff, 1999 .