J. Klop
发表
Jan Willem Klop,
J. Klop,
1980
.
J. Bergstra,
J. Klop,
1982
.
Hendrik Pieter Barendregt,
Yoshihito Toyama,
Jan Willem Klop,
1989,
RTA.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
JACM.
Yoshihito Toyama,
Aart Middeldorp,
Jan Willem Klop,
1994,
Inf. Process. Lett..
Jan A. Bergstra,
Jan Willem Klop,
Henk Barendregt,
1976
.
J. R. Kennaway,
Jan Willem Klop,
M. R. Sleep,
1993
.
J. Klop,
R. D. Vrijer,
V. V. Oostrom,
2004
.
J. Endrullis,
J. Klop,
R. Overbeek,
2019
.
Jan A. Bergstra,
J. V. Tucker,
Jan Willem Klop,
1984,
Seminar on Concurrency.
Jan Willem Klop,
Richard Kennaway,
M. Ronan Sleep,
1997,
Theoretical Computer Science.
J. Bergstra,
J. Klop,
J. Bakker,
1984
.
Jan Willem Klop,
R. C. de Vrijer,
J. Klop,
2003
.
Z. M. Ariola,
J. Klop,
1996
.
H. Barendregt,
J. Klop,
2016
.
J. Klop,
Patrick Dehornoy,
V. V. Oostrom,
2013
.
Jan Willem Klop,
J. Klop,
1987
.
Jan A. Bergstra,
Jan J. M. M. Rutten,
Jan Willem Klop,
2013,
Bull. EATCS.
J. Klop,
2000
.
Krzysztof R. Apt,
Jan Willem Klop,
J.J.C. Meijer,
1989
.
J. Bergstra,
J. Klop,
1984,
ICALP.
J. W. de Bakker,
Jan Willem Klop,
J.J.C. Meijer,
1989
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1995,
Workshops in Computing.
Jan Willem Klop,
J. A. Bergstra,
J. Bergstra,
1983
.
Jan Willem Klop,
J. A. Bergstra,
J. Bergstra,
1983
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1983
.
J. Bergstra,
K. Apt,
N. Temme,
1994
.
Yoshihito Toyama,
Aart Middeldorp,
Jan Willem Klop,
1991
.
Z. M. Ariola,
J. Klop,
D. Plump,
2019
.
Jan Willem Klop,
J. Klop,
1990,
ICALP.
Paula Severi,
Aart Middeldorp,
Jan Willem Klop,
2002
.
Jan Willem Klop,
Inge Bethke,
Roel C. de Vrijer,
1999,
Mathematical Structures in Computer Science.
Vincent van Oostrom,
Jan Willem Klop,
Femke van Raamsdonk,
1993,
Theor. Comput. Sci..
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1984,
Inf. Control..
J.J.C. Meijer,
Rob van Glabbeek,
Rob van Glabbeek,
1989
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1985,
Theor. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
Theor. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
PARLE.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1985,
Mathematical Methods of Specification and Synthesis of Software Systems.
Jan A. Bergstra,
J. V. Tucker,
Jan Willem Klop,
1983,
Logic of Programs.
Jan A. Bergstra,
Jan Willem Klop,
Jcm Jos Baeten,
1985
.
Jan A. Bergstra,
Ernst-Rüdiger Olderog,
Jan Willem Klop,
1987,
Formal Description of Programming Concepts.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
Formal Description of Programming Concepts.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1982,
ICALP.
J. Klop,
2005
.
Jan A. Bergstra,
John-Jules Ch. Meyer,
J. W. de Bakker,
1983,
Theor. Comput. Sci..
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1983
.
Frank S. de Boer,
Catuscia Palamidessi,
Jan Willem Klop,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Jan Willem Klop,
J. Klop,
1995,
HOA.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1988,
REX Workshop.
Jan Willem Klop,
Roy Overbeek,
Jorg Endrullis,
2020,
Log. Methods Comput. Sci..
Vincent van Oostrom,
Jan Willem Klop,
Roel de Vrijer,
2002
.
Jan Willem Klop,
Richard Kennaway,
M. Ronan Sleep,
1993,
J. Symb. Comput..
Jean-Pierre Jouannaud,
Nachum Dershowitz,
Jan Willem Klop,
1993,
RTA.
Krzysztof R. Apt,
Jan Willem Klop,
Roland N. Bol,
1991,
Theor. Comput. Sci..
Jan Willem Klop,
J. Klop,
CHURCH-ROSSER TO KNUTH-BENDIX,
2005
.
Krzysztof R. Apt,
Jan Willem Klop,
Roland N. Bol,
1990,
DISCO.
Jan Willem Klop,
Roel C. de Vrijer,
J. Klop,
2005,
We Will Show Them!.
Jan Willem Klop,
Jörg Endrullis,
Clemens Grabmayer,
2007,
Theor. Comput. Sci..
Eike Best,
Jan Willem Klop,
J.J.C. Meijer,
1989
.
Jean-Pierre Jouannaud,
Nachum Dershowitz,
Jan Willem Klop,
1995,
RTA.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1986,
J. Comput. Syst. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
Comput. J..
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1989,
Theor. Comput. Sci..
Jan A. Bergstra,
Ernst-Rüdiger Olderog,
Jan Willem Klop,
1988,
SIAM J. Comput..
Vincent van Oostrom,
Jan Willem Klop,
Roel C. de Vrijer,
2008,
Theor. Comput. Sci..
Zena M. Ariola,
Jan Willem Klop,
Z. M. Ariola,
1997,
Inf. Comput..
Jan Willem Klop,
Richard Kennaway,
M. Ronan Sleep,
1995,
Inf. Comput..
Zena M. Ariola,
Jan Willem Klop,
Z. M. Ariola,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Jan Willem Klop,
Richard Kennaway,
M. Ronan Sleep,
1994,
TOPL.
J. R. Kennaway,
Jan Willem Klop,
M. R. Sleep,
1993
.
Jan Willem Klop,
Richard Kennaway,
M. Ronan Sleep,
1991,
RTA.
John-Jules Ch. Meyer,
J. W. de Bakker,
Jan Willem Klop,
1981,
Logic of Programs.
Hendrik Pieter Barendregt,
Jan Willem Klop,
Richard Kennaway,
1987,
Inf. Comput..
Zena M. Ariola,
Jan Willem Klop,
Z. M. Ariola,
1996,
Fundam. Informaticae.
Jan A. Bergstra,
Jan Willem Klop,
Jos C. M. Baeten,
1985
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1984,
Theor. Comput. Sci..
Jan Willem Klop,
J.J.C. Meijer,
Jan Rutten,
1989
.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
RTA.
Jan Willem Klop,
J. A. Bergstra,
J. Bergstra,
1992
.
Jan Willem Klop,
Jeroen Ketema,
J. Klop,
2004
.
Zena M. Ariola,
Jan Willem Klop,
Detlef Plump,
2000,
Inf. Comput..
Jan Willem Klop,
Henk Barendregt,
Jörg Endrullis,
2017
.
Vincent van Oostrom,
Jan Willem Klop,
Femke van Raamsdonk,
2007,
Rewriting, Computation and Proof.
Vincent van Oostrom,
Jan Willem Klop,
Roel C. de Vrijer,
2006,
Essays Dedicated to Joseph A. Goguen.
J. Klop,
R. D. Vrijer,
V. V. Oostrom,
2004
.
Vincent van Oostrom,
Jan Willem Klop,
Roel C. de Vrijer,
2000,
J. Log. Comput..
Vincent van Oostrom,
Jan Willem Klop,
Jörg Endrullis,
2011,
Theor. Comput. Sci..
Juhani Karhumäki,
Jan Willem Klop,
Jörg Endrullis,
2018,
ArXiv.
Juhani Karhumäki,
Jan Willem Klop,
Jörg Endrullis,
2016,
DLT.
Aart Middeldorp,
Jan Willem Klop,
J. Klop,
1991,
J. Symb. Comput..
J. Bergstra,
J. Klop,
J. W. K. J. A. Bergstra,
2003
.
J. Endrullis,
J. Klop,
R. Bakhshi,
2019,
Acta Informatica.
Evangelos Kranakis,
Jan Willem Klop,
E. Kranakis,
1986
.
Jan Willem Klop,
Inge Bethke,
Roel C. de Vrijer,
2000,
Inf. Comput..
J. Endrullis,
J. Klop,
R. Overbeek,
2020,
Log. Methods Comput. Sci..
Jan Willem Klop,
Jörg Endrullis,
Roy Overbeek,
2018,
FSCD.
J. Endrullis,
J. Klop,
2013
.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2012,
Theor. Comput. Sci..
Jan Willem Klop,
Jörg Endrullis,
Clemens Grabmayer,
2009,
TYPES.
Jan Willem Klop,
Inge Bethke,
J. Klop,
1995,
HOA.
J. Klop,
1993,
LICS 1993.
Mariangiola Dezani-Ciancaglini,
J. Roger Hindley,
M. Dezani-Ciancaglini,
1992,
Theor. Comput. Sci..
Jean-Pierre Jouannaud,
Nachum Dershowitz,
Jan Willem Klop,
1991,
RTA.
Jan Willem Klop,
Roel C. de Vrijer,
J. Klop,
1990,
CTRS.
Vincent van Oostrom,
Jan Willem Klop,
Femke van Raamsdonk,
1993
.
Krzysztof R. Apt,
Jan Willem Klop,
Roland N. Bol,
1989,
ICLP.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
J. Bergstra,
J. Klop,
J. Debakker,
1982
.
Markus A. Whiteland,
Jan Willem Klop,
Jörg Endrullis,
2015,
WORDS.
J. Engelfriet,
J. Engelfriet,
C. Jonker,
1999
.
J. Bergstra,
J. Klop,
2006
.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2011,
Integers.
J. Klop,
1990,
ICALP.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1984,
ICALP.
J. Endrullis,
J. Klop,
R. Overbeek,
2019,
Log. Methods Comput. Sci..
Bas Luttik,
Jan Willem Klop,
Clemens Grabmayer,
2006,
APC 25.
Bas Luttik,
Jan Willem Klop,
Clemens Grabmayer,
2006,
CONCUR.
Jan Willem Klop,
Andrew Polonsky,
Jörg Endrullis,
2015,
Mathematical Structures in Computer Science.
J. Klop,
M. Sleep,
R. Kennaway,
1997,
Theor. Comput. Sci..
Jan A. Bergstra,
Hendrik Pieter Barendregt,
Jan Willem Klop,
1978,
Journal of Symbolic Logic.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1980,
Theor. Comput. Sci..
Michael Rathjen,
M. Dezani-Ciancaglini,
F. Honsell,
2014
.
Jan Willem Klop,
Inge Bethke,
Roel C. de Vrijer,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.