J. Bergstra
发表
J. Bergstra,
2014
.
J. Bergstra,
J. Baeten,
1991
.
J. Bergstra,
J. Klop,
1982
.
Jan A. Bergstra,
Paul Klint,
J. Bergstra,
1998,
Science of Computer Programming.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
1994,
Comput. J..
Jan A. Bergstra,
Paul Klint,
J. Bergstra,
1996,
COORDINATION.
J. Bergstra,
A. Ponse,
2001
.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
JACM.
J. Bergstra,
S. Smolka,
A. Ponse,
2001
.
J. Bergstra,
J. Baeten,
2000
.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1995,
JACM.
J. V. Tucker,
J. Bergstra,
1979
.
J. V. Tucker,
J. Bergstra,
1980
.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1982,
Inf. Control..
J. V. Tucker,
John V. Tucker,
J. A. Bergstra,
1993
.
Jan A. Bergstra,
Jan Willem Klop,
Henk Barendregt,
1976
.
C. A. Middelburg,
J. Bergstra,
Gheorghe Stefanescu,
2013
.
C. A. Middelburg,
J. Bergstra,
1995
.
J. Bergstra,
J. Heering,
T. Dinesh,
2011
.
J. Bergstra,
2020
.
J. V. Tucker,
J. Bergstra,
2020,
Transmathematica.
J. Bergstra,
2019,
Transmathematica.
J. Bergstra,
2014
.
J. Bergstra,
W. Fokkink,
K. Middelburg,
1996
.
J. Bergstra,
2014
.
J. Bergstra,
2015
.
J. Bergstra,
2014
.
Kees Middelburg,
Jan Bergstra,
J. Bergstra,
2010,
1012.4291.
Kees Middelburg,
Jan Bergstra,
J. Bergstra,
2011,
1104.2471.
J. Bergstra,
P. Klint,
2008
.
J. A. Bergstra,
J. Bergstra,
1986
.
J. Bergstra,
M. Burgess,
2018
.
J. Bergstra,
M. Burgess,
2006
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1994,
Formal Aspects of Computing.
J. Bergstra,
2007
.
J. Bergstra,
A. Ponse,
2008
.
C. A. Middelburg,
J. Bergstra,
2011
.
C. A. Middelburg,
J. Bergstra,
2011
.
C. A. Middelburg,
J. Bergstra,
K. Middelburg,
2009,
ArXiv.
C. A. Middelburg,
J. Bergstra,
2009
.
J. Bergstra,
A. Ponse,
2008
.
J. V. Tucker,
John V. Tucker,
J. A. Bergstra,
1980
.
J. V. Tucker,
J. Bergstra,
2008
.
Jan A. Bergstra,
J. V. Tucker,
Jan Willem Klop,
1984,
Seminar on Concurrency.
Jan Bergstra,
C. A. Middelburg,
J. Bergstra,
1997
.
Jan A. Bergstra,
Jerzy Tiuryn,
J. V. Tucker,
1980
.
J. Bergstra,
B. Luttik,
Dr P H Rodenburg,
1996
.
Link,
J. Bergstra,
2013
.
Link,
J. Bergstra,
Link,
2010
.
J. Bergstra,
2017
.
Link,
J. Bergstra,
2010
.
J. Bergstra,
2022
.
J. Bergstra,
2020
.
J. Bergstra,
2015
.
J. Bergstra,
J. Klop,
J. Bakker,
1984
.
J. Bergstra,
I. Bethke,
A. Ponse,
2015
.
J. Bergstra,
A. Ponse,
2008
.
C. A. Middelburg,
J. Bergstra,
2022
.
C. A. Middelburg,
J. Bergstra,
2022
.
J. Bergstra,
J. Heering,
1993
.
J. Bergstra,
2014
.
J. Bergstra,
Jan Willem Klgp,
1980
.
J. Bergstra,
A. Ponse,
M. V. D. Zwaag,
2000
.
Jan A. Bergstra,
Jan J. M. M. Rutten,
Jan Willem Klop,
2013,
Bull. EATCS.
J. Bergstra,
2016,
1609.02812.
J. Bergstra,
A. Ponse,
2011
.
Jan A. Bergstra,
Martin Wirsing,
J. Bergstra,
1987
.
Jan A. Bergstra,
Paul Klint,
J. Heering,
1989
.
J. Bergstra,
J. Heering,
2011
.
J. Bergstra,
Heering,
2006
.
C. A. Middelburg,
J. Bergstra,
2008
.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1980,
ICALP.
J. Bergstra,
J. V. Tuckerbq,
2003
.
J. V. Tucker,
John V. Tucker,
J. A. Bergstra,
1980
.
J. Bergstra,
J. Baeten,
2013
.
J. Bergstra,
M. Düwell,
2022,
Transmathematica.
J. Bergstra,
A. Ponse,
M. V. D. Zwaag,
2003
.
J. Bergstra,
J. Klop,
1984,
ICALP.
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
.
J. Bergstra,
J.,
Tiuryn,
2006
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1983
.
J. Bergstra,
K. Apt,
N. Temme,
1994
.
J. Bergstra,
A. Ponse,
2008,
0810.1151.
J. V. Tucker,
J. Bergstra,
2023,
ACM Transactions on Computational Logic.
Jan A. Bergstra,
J. Bergstra,
2011,
ArXiv.
Jan A. Bergstra,
J. Bergstra,
2010,
ArXiv.
J. Bergstra,
M. Düwell,
2021,
Transmathematica.
Jan A. Bergstra,
Mark Burgess,
J. Bergstra,
2008,
ArXiv.
Jan A. Bergstra,
J. V. Tucker,
John V. Tucker,
2007,
JACM.
J. A. Bergstra,
J. Bergstra,
2011
.
Jan A. Bergstra,
J. Bergstra,
2011,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2006,
Fundam. Informaticae.
Jan A. Bergstra,
Pum Walters,
J. Bergstra,
2003,
Inf. Softw. Technol..
Jan A. Bergstra,
Paul Klint,
J. Bergstra,
1994
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2004,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2004,
Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2007
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Formal Aspects of Computing.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2004,
J. Appl. Log..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2005,
EGC.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1998,
Notre Dame J. Formal Log..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1998,
Inf. Process. Lett..
Jan A. Bergstra,
Inge Bethke,
Pieter Hendrik Rodenburg,
1995,
J. Appl. Non Class. Logics.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1984,
Inf. Control..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2008
.
Jan A. Bergstra,
Yoram Hirshfeld,
J. V. Tucker,
2008,
Pillars of Computer Science.
J. Bergstra,
I. Bethke,
A. Ponse,
2008,
Comput. J..
Jan A. Bergstra,
Yoram Hirshfeld,
J. V. Tucker,
2009,
Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
Mark van der Zwaag,
2007,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
2006,
Essays Dedicated to Joseph A. Goguen.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
1993,
CSL.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1985,
Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1998
.
Jan A. Bergstra,
Alban Ponse,
Joris A. Hillebrand,
1997,
Sci. Comput. Program..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
1993
.
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,
J. V. Tucker,
J. Bergstra,
1985,
Sci. Comput. Program..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2001,
Theor. Comput. Sci..
Jan A. Bergstra,
Jan Willem Klop,
Jcm Jos Baeten,
1985
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1990
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1988,
Inf. Comput..
Jan A. Bergstra,
Kees Middelburg,
Gheorghe Stefanescu,
1997,
Int. J. Comput. Math..
J. A. Bergstra,
Jcm Jos Baeten,
J. Bergstra,
1995
.
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1995
.
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1994
.
C. A. Middelburg,
J. Bergstra,
J A Bergstra,
1997
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1995,
FCT.
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,
Paul Klint,
J. Bergstra,
2007,
Sci. Comput. Program..
Jan A. Bergstra,
Paul Klint,
J. Bergstra,
1996,
AMAST.
Jan Aldert Bergstra,
J. Bergstra,
2020
.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2015,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2014,
J. Appl. Non Class. Logics.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2014,
Software, Services, and Systems.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2014,
J. Appl. Log..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2013,
J. Appl. Log..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
J. Appl. Log..
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
2008,
Theory of Computing Systems.
Jan A. Bergstra,
J. Bergstra,
2006,
CiE.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1982,
ICALP.
Jan A. Bergstra,
Manfred Broy,
Martin Wirsing,
1981,
MFCS.
J. V. Tucker,
J. Bergstra,
2022,
J. Log. Algebraic Methods Program..
J. Bergstra,
2022
.
Jan A. Bergstra,
J. Bergstra,
2019
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2015,
J. Appl. Log..
J. V. Tucker,
J. Bergstra,
2020,
WADT.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1995,
Ann. Pure Appl. Log..
Jan A. Bergstra,
Jan Heering,
J. Bergstra,
1995,
Inf. Comput..
Jan A. Bergstra,
Freek Wiedijk,
Sjouke Mauw,
1991,
Int. J. Found. Comput. Sci..
Jan A. Bergstra,
Paul Klint,
Jan Heering,
1990,
JACM.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1987,
Theor. Comput. Sci..
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1983,
SIAM J. Comput..
J. V. Tucker,
John V. Tucker,
J. A. Bergstra,
1980
.
J. V. Tucker,
J. A. Bergstra,
J. Bergstra,
1979,
SIGP.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1981,
ICALP.
Jan A. Bergstra,
W. P. Weijland,
J. Bergstra,
2014,
ArXiv.
Mark Burgess,
Jan A. Bergstra,
J. Bergstra,
2014
.
Jan A. Bergstra,
Karl de Leeuw,
J. Bergstra,
2013,
ArXiv.
Jan A. Bergstra,
Mark Burgess,
J. Bergstra,
2009,
ArXiv.
J. Bergstra,
2022
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2013,
WADT.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2014,
1411.4410.
Jan A. Bergstra,
Kees Middelburg,
Yaroslav S. Usenko,
1998,
Handbook of Process Algebra.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1994,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
Wan Fokkink,
1995,
Int. J. Comput. Math..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1995
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1995
.
Jan A. Bergstra,
J. Bergstra,
1988,
ALP.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
Acta Informatica.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2009,
Theory of Computing Systems.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ArXiv.
J. V. Tucker,
J. A. Bergstra,
J. Bergstra,
2009,
0901.0803.
Jan A. Bergstra,
M. E. Loots,
J. Bergstra,
2002,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Acta Informatica.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2006
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Acta Informatica.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2007,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
LIX.
J. Bergstra,
1989
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2001,
JACM.
Jan A. Bergstra,
Wan Fokkink,
Alban Ponse,
2001,
Handbook of Process Algebra.
Jan A. Bergstra,
Alban Ponse,
Jos van Wamel,
1993,
REX School/Symposium.
Jan A. Bergstra,
J. Bergstra,
2015
.
Jan A. Bergstra,
J. Bergstra,
2015
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2009,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2007,
Acta Informatica.
J. Bergstra,
A. Ponse,
2006
.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2003,
ICALP.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Inf. Comput..
Jan A. Bergstra,
J. Bergstra,
1986
.
Jan A. Bergstra,
John-Jules Ch. Meyer,
J. W. de Bakker,
1983,
Theor. Comput. Sci..
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1983
.
J. Bergstra,
2014
.
Jan A. Bergstra,
Karl de Leeuw,
J. Bergstra,
2013,
ArXiv.
J. Bergstra,
2011,
1105.2900.
J. Bergstra,
2011
.
Jan A. Bergstra,
Cornelis A. Middelburg,
C. A. Middelburg,
2011,
1104.0308.
J. Bergstra,
P. Klint,
2007
.
Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money
pdf
Jan A. Bergstra,
J. Bergstra,
2015,
ArXiv.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1991,
Formal Aspects of Computing.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1993,
CONCUR.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1992,
FTRTFT.
Jan A. Bergstra,
J. Bergstra,
1985
.
Jan A. Bergstra,
J. Bergstra,
J. Meyer,
1981
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1991,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2006,
Inf. Comput..
Jan A. Bergstra,
Jos C. M. Baeten,
Scott A. Smolka,
1995,
Inf. Comput..
Jan A. Bergstra,
Jos C. M. Baeten,
Scott A. Smolka,
1992,
CONCUR.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1992,
Formal Aspects of Computing.
Jan A. Bergstra,
Jos C. M. Baeten,
Roland N. Bol,
1994,
ICTL.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1988,
REX Workshop.
Jan A. Bergstra,
Alban Ponse,
Mark van der Zwaag,
2003,
Theor. Comput. Sci..
Jan A. Bergstra,
T. B. Dinesh,
Jan Heering,
1997,
TOPL.
Jan A. Bergstra,
T. B. Dinesh,
Jan Heering,
1996,
ESOP.
Jan A. Bergstra,
J. Bergstra,
2015
.
Jan A. Bergstra,
J. Bergstra,
2015
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Fundam. Informaticae.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2006
.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2004
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2013,
Scientific Annals of Computer Science.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Future Gener. Comput. Syst..
Jan A. Bergstra,
S. F. M. van Vlijmen,
Guus P. A. J. Delen,
2011,
ArXiv.
Jan A. Bergstra,
S. F. M. van Vlijmen,
Guus P. A. J. Delen,
2011,
ArXiv.
Jan A. Bergstra,
S. F. M. van Vlijmen,
Guus P. A. J. Delen,
2011,
ArXiv.
Jan A. Bergstra,
S. F. M. van Vlijmen,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Cornelis A. Middelburg,
C. A. Middelburg,
1995
.
Jan A. Bergstra,
Inge Bethke,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Jan Heering,
J. Bergstra,
1994,
Theor. Comput. Sci..
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1986,
J. Comput. Syst. Sci..
Jan A. Bergstra,
J. Bergstra,
2016,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
Comput. J..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2015,
Correct System Design.
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,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1989,
Theor. Comput. Sci..
Jan A. Bergstra,
Mark Burgess,
J. Bergstra,
2021
.
Jan A. Bergstra,
Ernst-Rüdiger Olderog,
Jan Willem Klop,
1988,
SIAM J. Comput..
J. V. Tucker,
J. Bergstra,
2005
.
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1993,
FCT.
Jan A. Bergstra,
J. Bergstra,
2002,
Inf. Softw. Technol..
Jan A. Bergstra,
M. E. Loots,
J. Bergstra,
2000,
Formal Aspects of Computing.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1984,
Acta Informatica.
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1983,
Theor. Comput. Sci..
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1982,
J. Comput. Syst. Sci..
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1982,
Inf. Process. Lett..
Jan A. Bergstra,
Jerzy Tiuryn,
J. V. Tucker,
1982,
Theor. Comput. Sci..
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1981,
Logic of Programs.
Jan A. Bergstra,
Jan Willem Klop,
Jos C. M. Baeten,
1985
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1984,
Theor. Comput. Sci..
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1984,
Theor. Comput. Sci..
Jan A. Bergstra,
J. V. Tucker,
J. Bergstra,
1982,
Theor. Comput. Sci..
Jan A. Bergstra,
J. V. Tucker,
John V. Tucker,
1982
.
Jan A. Bergstra,
Jos C. M. Baeten,
Jan Willem Klop,
1987,
RTA.
Jan A. Bergstra,
Gheorghe Stefanescu,
Jos C. M. Baeten,
1994
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2008,
ArXiv.
Jan A. Bergstra,
J. Bergstra,
2012,
ArXiv.
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,
Kees Middelburg,
J. Bergstra,
2019,
Fundam. Informaticae.
J. Bergstra,
K. Middelburg,
A. J.,
2015,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2017,
Theory of Computing Systems.
J. Bergstra,
K. Middelburg,
2017,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2015,
Fundam. Informaticae.
J. Bergstra,
K. Middelburg,
A. J.,
2014,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2011,
Fundam. Informaticae.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2010,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ICTAC.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2008,
TOCL.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Mathematical Structures in Computer Science.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Formal Aspects of Computing.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
J. Appl. Log..
J. Bergstra,
K. Middelburg,
2007,
Fundam. Informaticae.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Mathematical Structures in Computer Science.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1994,
CONCUR.
Jan Willem Klop,
J. A. Bergstra,
J. Bergstra,
1992
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1990,
CONCUR.
C. A. Middelburg,
J. Bergstra,
2008
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
ArXiv.
C. A. Middelburg,
J. Bergstra,
2007
.
J. Bergstra,
2015,
1508.01334.
J. Bergstra,
K. Middelburg,
2008,
Theory of Computing Systems.
J. Bergstra,
J. Klop,
J. W. K. J. A. Bergstra,
2003
.
J. Bergstra,
A. Ponse,
2013
.
Jan A. Bergstra,
Jos C. M. Baeten,
Scott A. Smolka,
1992
.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2005,
CALCO.
Jan A. Bergstra,
Martin Wirsing,
J. Bergstra,
1989,
Lecture Notes in Computer Science.
J. Bergstra,
Academisch Proefschrift,
M. Koot,
2012
.
J. A. Bergstra,
M. Burgess,
J. Bergstra,
2019,
ArXiv.
J. Bergstra,
J. V. Tucker,
2008,
Theory of Computing Systems.
J. A. Bergstra,
J. J. Ch. Meyer,
J. Bergstra,
1981,
SIGP.
C. A. Middelburg,
Link,
J. Bergstra,
2009,
Theory of Computing Systems.
Paul Klint,
Jan Heering,
J. A. Bergstra,
1987
.
Paul Klint,
Jan Heering,
J. A. Bergstra,
1985
.
J. Bergstra,
K. Middelburg,
2019,
Fundam. Informaticae.
J. Bergstra,
K. Middelburg,
2008,
LIX.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
J. Appl. Log..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Sci. Ann. Comput. Sci..
J. Bergstra,
J. Heering,
T. Dinesh,
2022
.
J. Bergstra,
J. Klop,
J. Debakker,
1982
.
J. Bergstra,
K. Middelburg,
J. A. Bergstraa,
2004,
Theor. Comput. Sci..
J. Bergstra,
J. Heering,
1994,
Theor. Comput. Sci..
J. Bergstra,
C. Broadbent,
2007
.
J. Bergstra,
2007
.
Jan A. Bergstra,
Jerzy Tiuryn,
J. V. Tucker,
1979
.
J. Bergstra,
J. Klop,
2006
.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1984,
ICALP.
Jan A. Bergstra,
J. Bergstra,
1985
.
Jan A. Bergstra,
Kees Middelburg,
Gheorghe Stefanescu,
2013,
ArXiv.
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1996,
Fundam. Informaticae.
Jan A. Bergstra,
Gheorghe Stefanescu,
J. Bergstra,
1995,
FCT.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1997,
Fundam. Informaticae.
J. Bergstra,
J. Baeten,
Gheorghe Stefanescu,
1994
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1997,
CONCUR.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1998,
EXPRESS.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1993
.
J. Bergstra,
K. Middelburg,
2013,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Jos C. M. Baeten,
Michel A. Reniers,
2000,
Proof, Language, and Interaction.
J. Bergstra,
2004
.
Jan A. Bergstra,
Jos C. M. Baeten,
J. Bergstra,
1991,
Formal Aspects of Computing.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Fundam. Informaticae.
J. Bergstra,
A. Ponse,
2023,
ArXiv.
Daan J. C. Staudt,
J. Bergstra,
A. Ponse,
2021,
J. Appl. Non Class. Logics.
Jan A. Bergstra,
Alban Ponse,
Daan J. C. Staudt,
2018,
ArXiv.
J. Bergstra,
A. Ponse,
2010,
ArXiv.
J. Bergstra,
A. Ponse,
2008,
TOCL.
J. A. Bergstra,
S. S. Wainer,
J. Bergstra,
1977
.
Jan A. Bergstra,
Hendrik Pieter Barendregt,
Jan Willem Klop,
1978,
Journal of Symbolic Logic.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2014,
Fundam. Informaticae.
Jan A. Bergstra,
Jan Willem Klop,
J. Bergstra,
1980,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2013,
ArXiv.
J. Bergstra,
M. Burgess,
2009,
ArXiv.