Jan A. Bergstra
发表
Jan A. Bergstra,
Jerzy Tiuryn,
Anna Chmielinska,
1982,
Inf. Control..
Jan A. Bergstra,
Paul Klint,
J. Bergstra,
1998,
Science of Computer Programming.
Jan A. Bergstra,
1979,
Math. Log. Q..
Jan A. Bergstra,
Jan Heering,
J. Bergstra,
1995,
Inf. Comput..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Formal Aspects of Computing.
Jan A. Bergstra,
Jan J. M. M. Rutten,
Jan Willem Klop,
2013,
Bull. EATCS.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2014,
Software, Services, and Systems.
Jan A. Bergstra,
Mark van der Zwaag,
2008,
ArXiv.
Jan A. Bergstra,
J. V. Tucker,
John V. Tucker,
1982
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1994,
Theor. Comput. Sci..
Jan A. Bergstra,
Krzysztof R. Apt,
1979
.
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1994
.
Jan A. Bergstra,
John-Jules Ch. Meyer,
1984,
J. Inf. Process. Cybern..
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2014,
J. Appl. Non Class. Logics.
Jan A. Bergstra,
Mark Burgess,
2014,
ArXiv.
Jan A. Bergstra,
Martin Wirsing,
J. Bergstra,
1987
.
Jan A. Bergstra,
Mark Van Den Brand,
2000
.
Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals
pdf
Jan A. Bergstra,
Alban Ponse,
2014,
ArXiv.
Jan A. Bergstra,
Jan Willem Klop,
1983,
Integr..
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1995,
FCT.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1988,
REX Workshop.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1980,
ICALP.
Jan A. Bergstra,
J. Bergstra,
1985
.
Jan A. Bergstra,
2012
.
Jan A. Bergstra,
Paul Klint,
J. Bergstra,
1996,
AMAST.
Jan A. Bergstra,
Jan Willem Klop,
Jos C. M. Baeten,
1985
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1982,
ICALP.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1998,
Inf. Process. Lett..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
1994,
Comput. J..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2019,
Fundam. Informaticae.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2004,
J. Appl. Log..
Jan A. Bergstra,
Wan Fokkink,
Alban Ponse,
2001,
Handbook of Process Algebra.
Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view
pdf
Jan A. Bergstra,
Alban Ponse,
2016,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
2020,
Theor. Comput. Sci..
Jan A. Bergstra,
2003,
FMCO.
Jan A. Bergstra,
Jos C. M. Baeten,
1997
.
Jan A. Bergstra,
Inge Bethke,
2005,
Inf. Process. Lett..
Jan A. Bergstra,
Inge Bethke,
Pieter Hendrik Rodenburg,
1995,
J. Appl. Non Class. Logics.
Jan A. Bergstra,
S. F. M. van Vlijmen,
1998
.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1983,
SIAM J. Comput..
Jan A. Bergstra,
M.P.A. Sellink,
1996
.
Jan A. Bergstra,
Jan Willem Klop,
1982,
J. Inf. Process. Cybern..
Jan A. Bergstra,
2012,
ArXiv.
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1993,
FCT.
Jan A. Bergstra,
Jan Heering,
Jan Willem Klop,
1984
.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2003,
ICALP.
Jan A. Bergstra,
J. Bergstra,
2011,
ArXiv.
Jan A. Bergstra,
Inge Bethke,
2005,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Inge Bethke,
Dimitri Hendriks,
2017,
ArXiv.
Jan A. Bergstra,
J. Terlouw,
1981,
GI Jahrestagung.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1994,
Formal Aspects of Computing.
Jan A. Bergstra,
Jan Willem Klop,
1981,
J. Inf. Process. Cybern..
Jan A. Bergstra,
Paul Klint,
J. Heering,
1989
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1998,
EXPRESS.
Jan A. Bergstra,
Jos C. M. Baeten,
Frits W. Vaandrager,
2004
.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2015,
Sci. Ann. Comput. Sci..
Candidate Software Process Flaws for the Boeing 737 Max MCAS Algorithm and Risks for a Proposed Upgrade
pdf
Jan A. Bergstra,
Mark Burgess,
J. Bergstra,
2020,
ArXiv.
Jan A. Bergstra,
Jerzy Tiuryn,
1981,
Fundam. Informaticae.
Jan A. Bergstra,
2015
.
Jan A. Bergstra,
Cornelis A. Middelburg,
2012
.
Jan A. Bergstra,
Kees Middelburg,
2010,
Theory of Computing Systems.
Jan A. Bergstra,
Kees Middelburg,
2009,
ArXiv.
Jan A. Bergstra,
Cornelis A. Middelburg,
2007
.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2007
.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1984,
Acta Informatica.
Jan A. Bergstra,
Alban Ponse,
Daan J. C. Staudt,
2018,
ArXiv.
Jan A. Bergstra,
S. F. M. van Vlijmen,
Guus P. A. J. Delen,
2011,
ArXiv.
Jan A. Bergstra,
Alban Ponse,
2002,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2013,
WADT.
Jan A. Bergstra,
John-Jules Ch. Meyer,
1982,
Inf. Process. Lett..
Jan A. Bergstra,
Faron Moller,
Jens Blanck,
2013,
Comput. J..
Jan A. Bergstra,
Kees Middelburg,
2012,
ArXiv.
Jan A. Bergstra,
2014,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
2014,
ArXiv.
Jan A. Bergstra,
Martin Wirsing,
J. Bergstra,
1989,
Lecture Notes in Computer Science.
Jan A. Bergstra,
Kees Middelburg,
2019,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2011,
Fundam. Informaticae.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2005,
CALCO.
Jan A. Bergstra,
Jan Bergstra,
1994
.
Jan A. Bergstra,
Jos C. M. Baeten,
1989,
Algebraic Methods.
Jan A. Bergstra,
2006,
Electron. Notes Theor. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
1991,
REX Workshop.
Jan A. Bergstra,
Jan Willem Klop,
1982,
Formal Description of Programming Concepts.
Jan A. Bergstra,
2012,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Acta Informatica.
Jan A. Bergstra,
John-Jules Ch. Meyer,
J. W. de Bakker,
1983,
ICALP.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
Acta Informatica.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1985,
Theor. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
RTA.
Jan A. Bergstra,
Paul Klint,
2005
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
J. Appl. Log..
Jan A. Bergstra,
Jerzy Tiuryn,
Anna Chmielinska,
1981,
Logic of Programs.
Jan A. Bergstra,
Kees Middelburg,
Gheorghe Stefanescu,
1997,
Int. J. Comput. Math..
Jan A. Bergstra,
Mark Burgess,
Inge Bethke,
2007,
ArXiv.
Jan A. Bergstra,
Karl de Leeuw,
J. Bergstra,
2013,
ArXiv.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1986,
J. Comput. Syst. Sci..
Jan A. Bergstra,
J. V. Tucker,
2014,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Jos C. M. Baeten,
Roland N. Bol,
1994,
ICTL.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Future Gener. Comput. Syst..
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2004
.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1982,
J. Comput. Syst. Sci..
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1996,
Fundam. Informaticae.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
2013,
ArXiv.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2000
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1994,
CONCUR.
Jan A. Bergstra,
J. V. Tucker,
Jan Willem Klop,
1984,
Seminar on Concurrency.
Jan A. Bergstra,
Jaco van de Pol,
2011,
Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2000
.
Jan A. Bergstra,
Jos C. M. Baeten,
Scott A. Smolka,
1992,
CONCUR.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ArXiv.
Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
pdf
Jan A. Bergstra,
2019,
Comput. Sci. J. Moldova.
Jan A. Bergstra,
T. B. Dinesh,
Jan Heering,
1996,
ESOP.
Jan A. Bergstra,
2020,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Jerzy Tiuryn,
1983,
Logic of Programs.
Jan A. Bergstra,
2012,
ArXiv.
Jan A. Bergstra,
John-Jules Ch. Meyer,
1981,
Fundam. Informaticae.
Jan A. Bergstra,
Johan van Benthem,
1994,
J. Log. Lang. Inf..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
J. Bergstra,
1988,
ALP.
Jan A. Bergstra,
Alban Ponse,
2016
.
Jan A. Bergstra,
Jan Willem Klop,
1982,
Symposium on Programming.
Jan A. Bergstra,
T. B. Dinesh,
Jan Heering,
1997,
TOPL.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Fundam. Informaticae.
Jan A. Bergstra,
M. E. Loots,
1999
.
Jan A. Bergstra,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
Formal Description of Programming Concepts.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1982,
Inf. Process. Lett..
Jan A. Bergstra,
S. F. M. van Vlijmen,
Guus P. A. J. Delen,
2011,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
2013,
Theory of Computing Systems.
Jan A. Bergstra,
Alban Ponse,
2007,
ArXiv.
Jan A. Bergstra,
Yoram Hirshfeld,
J. V. Tucker,
2009,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Mathematical Structures in Computer Science.
Jan A. Bergstra,
2007,
Sci. Comput. Program..
Jan A. Bergstra,
Alban Ponse,
Mark van der Zwaag,
2007,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2008,
TOCL.
Jan A. Bergstra,
Jos C. M. Baeten,
1996,
CSUR.
Jan A. Bergstra,
Kees Middelburg,
2009,
ArXiv.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1984,
Theor. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1988,
Inf. Comput..
Jan A. Bergstra,
Kees Middelburg,
Gheorghe Stefanescu,
2013,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
2016,
Fundam. Informaticae.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1983
.
Jan A. Bergstra,
Alban Ponse,
Joris A. Hillebrand,
1995
.
Jan A. Bergstra,
2012,
ArXiv.
Jan A. Bergstra,
Gheorghe Stefanescu,
Jos C. M. Baeten,
1994
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2001,
Theor. Comput. Sci..
Jan A. Bergstra,
Jan Willem Klop,
1979,
Theor. Comput. Sci..
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1985,
Mathematical Methods of Specification and Synthesis of Software Systems.
Jan A. Bergstra,
Gheorghe Stefanescu,
1994,
Inf. Process. Lett..
Jan A. Bergstra,
J. Bergstra,
2016,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2007,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Inf. Comput..
Jan A. Bergstra,
Kees Middelburg,
2005,
Processes, Terms and Cycles.
Jan A. Bergstra,
Kees Middelburg,
2006,
Theory of Computing Systems.
Jan A. Bergstra,
Inge Bethke,
2011,
Theory of Computing Systems.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2009,
Theory of Computing Systems.
Jan A. Bergstra,
Alban Ponse,
2000,
J. Appl. Non Class. Logics.
Jan A. Bergstra,
Inge Bethke,
2014
.
Jan A. Bergstra,
M.P.A. Sellink,
1996
.
Jan A. Bergstra,
Kees Middelburg,
2014,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2004,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
2013,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2004,
Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
2006
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
M. E. Loots,
J. Bergstra,
2000,
Formal Aspects of Computing.
Jan A. Bergstra,
M. E. Loots,
1999
.
Jan A. Bergstra,
Yoram Hirshfeld,
J. V. Tucker,
2008,
Pillars of Computer Science.
Jan A. Bergstra,
J. V. Tucker,
Jan Willem Klop,
1983,
Logic of Programs.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1995,
Workshops in Computing.
Jan A. Bergstra,
Manfred Broy,
Martin Wirsing,
1981,
MFCS.
Jan A. Bergstra,
S. F. M. van Vlijmen,
1998
.
Jan A. Bergstra,
Paul Klint,
J. Heering,
1989
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2008,
ArXiv.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1984,
ICALP.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2001,
JACM.
Jan A. Bergstra,
2020,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
J. Bergstra,
1986
.
Jan A. Bergstra,
Paul Klint,
J. Heering,
1989
.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1995,
Ann. Pure Appl. Log..
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1992,
Formal Aspects of Computing.
Jan A. Bergstra,
Ernst-Rüdiger Olderog,
Jan Willem Klop,
1987,
Formal Description of Programming Concepts.
Jan A. Bergstra,
Jan Willem Klop,
Jcm Jos Baeten,
1985
.
Jan A. Bergstra,
J. Terlouw,
2004,
Acta Informatica.
Jan A. Bergstra,
M. E. Loots,
1999
.
Jan A. Bergstra,
Alexander Ollongren,
Theo P. van der Weide,
1977,
FCT.
Jan A. Bergstra,
Alban Ponse,
Jos van Wamel,
1993,
REX School/Symposium.
Jan A. Bergstra,
S. F. M. van Vlijmen,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
1993
.
Jan A. Bergstra,
Alban Ponse,
2006
.
Jan A. Bergstra,
Jan Heering,
J. Bergstra,
1994,
Theor. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
Comput. J..
Jan A. Bergstra,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Mark van der Zwaag,
Sanne Nolst Trenité,
2008,
ArXiv.
Jan A. Bergstra,
J. V. Tucker,
John V. Tucker,
2007,
JACM.
Jan A. Bergstra,
Mark Burgess,
2014
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Jerzy Tiuryn,
J. V. Tucker,
1982,
Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1998,
Notre Dame J. Formal Log..
Jan A. Bergstra,
J. Bergstra,
2012,
ArXiv.
Jan A. Bergstra,
W. P. Weijland,
J. Bergstra,
2014,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
2007,
Fundam. Informaticae.
Jan A. Bergstra,
Jerzy Tiuryn,
1980,
Fundam. Informaticae.
Jan A. Bergstra,
Jerzy Tiuryn,
1979,
FCT.
Jan A. Bergstra,
Alban Ponse,
1997
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ICTAC.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2015,
Correct System Design.
Jan A. Bergstra,
Paul Klint,
Jan Heering,
1990,
JACM.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Fundam. Informaticae.
Jan A. Bergstra,
2020,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
JACM.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1989,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1991,
Formal Aspects of Computing.
Jan A. Bergstra,
Cornelis A. Middelburg,
2012
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2005,
EGC.
Jan A. Bergstra,
Kees Middelburg,
2015,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
1982,
ADT.
Jan A. Bergstra,
Inge Bethke,
2005,
Theor. Comput. Sci..
Jan A. Bergstra,
2011,
ArXiv.
Jan A. Bergstra,
Wiet Bouma,
1997,
FIW.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Pum Walters,
J. Bergstra,
2003,
Inf. Softw. Technol..
Jan A. Bergstra,
John-Jules Ch. Meyer,
1982,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Mathematical Structures in Computer Science.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
1993,
CSL.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2014,
J. Appl. Log..
Jan A. Bergstra,
J. Bergstra,
2015
.
Jan A. Bergstra,
Kees Middelburg,
2012,
Atlantis Studies in Computing.
Jan A. Bergstra,
Alban Ponse,
2008,
ArXiv.
Jan A. Bergstra,
Jos C. M. Baeten,
1992,
CONCUR.
Jan A. Bergstra,
Kees Middelburg,
2008,
ArXiv.
Jan A. Bergstra,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1984,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
2012,
ArXiv.
Jan A. Bergstra,
2012,
ArXiv.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1982,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2015,
J. Appl. Log..
Jan A. Bergstra,
Hendrik Pieter Barendregt,
Jan Willem Klop,
1978,
Journal of Symbolic Logic.
Jan A. Bergstra,
J. Bergstra,
1985
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1990,
CONCUR.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1995,
JACM.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1993,
CONCUR.
Jan A. Bergstra,
Freek Wiedijk,
Sjouke Mauw,
1991,
Int. J. Found. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
2013,
ArXiv.
Jan A. Bergstra,
Jan Willem Klop,
1987,
Algebraic Methods.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
2004,
Fundam. Informaticae.
Jan A. Bergstra,
Inge Bethke,
2002,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2006
.
Jan A. Bergstra,
1980,
Notre Dame J. Formal Log..
Jan A. Bergstra,
Paul Klint,
J. Bergstra,
1994
.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1983,
Theor. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Sjouke Mauw,
1989,
Algebraic Methods.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1981,
ICALP.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2006,
Fundam. Informaticae.
Jan A. Bergstra,
Kees Middelburg,
2005,
CiE.
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1995
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1991,
Formal Aspects of Computing.
Jan A. Bergstra,
Kees Middelburg,
Wan Fokkink,
1995,
Int. J. Comput. Math..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2013,
Scientific Annals of Computer Science.
Jan A. Bergstra,
John-Jules Ch. Meyer,
J. W. de Bakker,
1983,
Theor. Comput. Sci..
Jan A. Bergstra,
Ernst-Rüdiger Olderog,
Jan Willem Klop,
1988,
SIAM J. Comput..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2014,
Fundam. Informaticae.
Jan A. Bergstra,
Kees Middelburg,
2016,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
2017,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Mark Burgess,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1981,
Logic of Programs.
Jan A. Bergstra,
J. Bergstra,
2015
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1997,
Fundam. Informaticae.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Acta Informatica.
Jan A. Bergstra,
Kees Middelburg,
2010,
Fundam. Informaticae.
Jan A. Bergstra,
J. Bergstra,
2006,
CiE.
Jan A. Bergstra,
Alban Ponse,
2011,
FSEN.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
ArXiv.
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1995,
FCT.
Jan A. Bergstra,
Kees Middelburg,
2009,
Fundam. Informaticae.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1995
.
Jan A. Bergstra,
Kees Middelburg,
2018,
Comput. Sci. J. Moldova.
Jan A. Bergstra,
Kees Middelburg,
Yaroslav S. Usenko,
1998,
Handbook of Process Algebra.
Jan A. Bergstra,
Alban Ponse,
Mark van der Zwaag,
2003,
Theor. Comput. Sci..
Jan A. Bergstra,
Mark van der Zwaag,
Sanne Nolst Trenité,
2008,
ArXiv.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2013,
J. Appl. Log..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Jan Willem Klop,
Jcm Jos Baeten,
1984
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1997,
CONCUR.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
J. Log. Algebraic Methods Program..
Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence
pdf
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2015,
Correct System Design.
Jan A. Bergstra,
Karl de Leeuw,
J. Bergstra,
2013,
ArXiv.
Jan A. Bergstra,
Loe Feijs,
1989
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1980,
Theor. Comput. Sci..
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
2006,
Essays Dedicated to Joseph A. Goguen.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1985,
Sci. Comput. Program..
Jan A. Bergstra,
Cornelis A. Middelburg,
2012
.
Jan A. Bergstra,
1978,
Inf. Process. Lett..
Jan A. Bergstra,
Kees Middelburg,
2016,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Krzysztof R. Apt,
Lambert G. L. T. Meertens,
1979,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
2018,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
J. Bergstra,
2011,
ArXiv.
Jan A. Bergstra,
M. E. Loots,
1999
.
Jan A. Bergstra,
Inge Bethke,
2015,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
2012,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2015,
Fundam. Informaticae.
Jan A. Bergstra,
Paul Klint,
J. Bergstra,
2007,
Sci. Comput. Program..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2017,
Theory of Computing Systems.
Jan A. Bergstra,
M. E. Loots,
2000
.
Jan A. Bergstra,
1978,
MFCS.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Formal Aspects of Computing.
Jan A. Bergstra,
Jos C. M. Baeten,
Scott A. Smolka,
1992
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2006,
Inf. Comput..
Jan A. Bergstra,
Alban Ponse,
Joris A. Hillebrand,
1997,
Sci. Comput. Program..
Jan A. Bergstra,
1978
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1992,
FTRTFT.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1984,
Inf. Control..
Jan A. Bergstra,
Alban Ponse,
2001,
Inf. Process. Lett..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
LIX.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
J. Appl. Log..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2006
.
Jan A. Bergstra,
Paul Klint,
J. Bergstra,
1996,
COORDINATION.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
2008,
Theory of Computing Systems.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1987,
Theor. Comput. Sci..
Jan A. Bergstra,
J. Bergstra,
2002,
Inf. Softw. Technol..
Jan A. Bergstra,
J-J.Ch. Meyer,
1982
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2009,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Scott A. Smolka,
1995,
Inf. Comput..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
J. Appl. Log..
Jan A. Bergstra,
Jan Willem Klop,
1984
.
Jan A. Bergstra,
Jos C. M. Baeten,
2005,
Formal Aspects of Computing.
Jan A. Bergstra,
Alban Ponse,
1998,
Prospects for Hardware Foundations.
Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money
pdf
Jan A. Bergstra,
J. Bergstra,
2015,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
2009,
ArXiv.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1982,
Inf. Control..
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1991,
Theor. Comput. Sci..
Jan A. Bergstra,
S. F. M. van Vlijmen,
Guus P. A. J. Delen,
2011,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
M. E. Loots,
J. Bergstra,
2002,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Cornelis A. Middelburg,
C. A. Middelburg,
1995
.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2007,
Acta Informatica.
Jan A. Bergstra,
Kees Middelburg,
2008,
ArXiv.
Jan A. Bergstra,
Cornelis A. Middelburg,
2012
.
Jan A. Bergstra,
M. E. Loots,
1999
.
Jan A. Bergstra,
Jos C. M. Baeten,
Michel A. Reniers,
2000,
Proof, Language, and Interaction.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
PARLE.
Jan A. Bergstra,
Mark Burgess,
J. Bergstra,
2021
.
Jan A. Bergstra,
2021,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
2021,
Log. Methods Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
2013
.
Jan A. Bergstra,
2014
.
Jan A. Bergstra,
Alban Ponse,
1999
.
Jan A. Bergstra,
Cornelis A. Middelburg,
C. A. Middelburg,
2011,
1104.0308.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1993
.
Jan A. Bergstra,
Cornelis A. Middelburg,
1995
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1995
.
Jan A. Bergstra,
John V. Tucker,
1988
.
Jan A. Bergstra,
Jan Willem Klop,
Henk Barendregt,
1976
.
Jan A. Bergstra,
Jcm Jos Baeten,
1987
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2008
.
Jan A. Bergstra,
Jan Willem Klop,
Henk Barendregt,
1976
.
Jan A. Bergstra,
Mark Burgess,
J. Bergstra,
2008,
ArXiv.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1998
.
Jan A. Bergstra,
1979
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1990
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1983
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2014,
1411.4410.
Jan A. Bergstra,
J. Bergstra,
J. Meyer,
1981
.
Jan A. Bergstra,
1978
.
Jan A. Bergstra,
Jerzy Tiuryn,
1983
.
Jan A. Bergstra,
Jerzy Tiuryn,
J. V. Tucker,
1980
.
Jan A. Bergstra,
M.P.A. Sellink,
1997
.
Jan A. Bergstra,
Jerzy Tiuryn,
J. V. Tucker,
1979
.
Jan A. Bergstra,
J.C.M. Baeten,
1995
.
Jan A. Bergstra,
Jan Willem Klop,
1982
.