K. Middelburg
发表
J. Bergstra,
W. Fokkink,
K. Middelburg,
1996
.
Kees Middelburg,
Jan Bergstra,
J. Bergstra,
2010,
1012.4291.
Kees Middelburg,
Jan Bergstra,
J. Bergstra,
2011,
1104.2471.
K. Middelburg,
2022,
ArXiv.
K. Middelburg,
2022,
ArXiv.
K. Middelburg,
2020,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2006,
Fundam. Informaticae.
Kees Middelburg,
K. Middelburg,
1998,
Fundam. Informaticae.
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,
Kees Middelburg,
J. Bergstra,
2007,
Formal Aspects of Computing.
Jos C. M. Baeten,
Kees Middelburg,
J. Baeten,
2002,
Monographs in Theoretical Computer Science. An EATCS Series.
Jan A. Bergstra,
Kees Middelburg,
Gheorghe Stefanescu,
1997,
Int. J. Comput. Math..
Jos C. M. Baeten,
Kees Middelburg,
J. Baeten,
1999,
Handbook of Process Algebra.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2014,
J. Appl. Log..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
J. Appl. Log..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2015,
J. Appl. Log..
Jan A. Bergstra,
Kees Middelburg,
Yaroslav S. Usenko,
1998,
Handbook of Process Algebra.
Jan A. Bergstra,
Kees Middelburg,
Wan Fokkink,
1995,
Int. J. Comput. Math..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
Acta Informatica.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Sci. Ann. Comput. Sci..
Kees Middelburg,
K. Middelburg,
2010,
ArXiv.
Kees Middelburg,
K. Middelburg,
2010,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Acta Informatica.
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,
Kees Middelburg,
J. Bergstra,
2008,
LIX.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Inf. Comput..
Kees Middelburg,
K. Middelburg,
2011,
ArXiv.
Cliff B. Jones,
Kees Middelburg,
Cliff B. Jones,
1993,
Acta Informatica.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2006,
Inf. Comput..
Kees Middelburg,
K. Middelburg,
1992,
Formal Aspects of Computing.
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,
Kees Middelburg,
J. Bergstra,
2013,
Scientific Annals of Computer Science.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
Future Gener. Comput. Syst..
Kees Middelburg,
K. Middelburg,
2006,
APC 25.
Kees Middelburg,
K. Middelburg,
2016,
ArXiv.
Kees Middelburg,
K. Middelburg,
1992,
Softw. Eng. J..
Kees Middelburg,
K. Middelburg,
1989,
Algebraic Methods.
Kees Middelburg,
K. Middelburg,
1989,
Formal Aspects of Computing.
Kees Middelburg,
K. Middelburg,
1992,
Specifications of Database Systems.
Kees Middelburg,
Gerard R. Renardel de Lavalette,
G. R. D. Lavalette,
1991,
VDM Europe.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2019,
Fundam. Informaticae.
J. Bergstra,
K. Middelburg,
A. J.,
2015,
Sci. Ann. Comput. Sci..
K. Middelburg,
2020,
ArXiv.
Kees Middelburg,
K. Middelburg,
2019,
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.
C. A. Middelburg,
J. Bergstra,
K. Middelburg,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2009,
ICTAC.
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.
Jos C. M. Baeten,
Kees Middelburg,
J. Baeten,
2001,
J. Log. Algebraic Methods Program..
Kees Middelburg,
K. Middelburg,
2000,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2008,
ArXiv.
J. Bergstra,
K. Middelburg,
2008,
Theory of Computing Systems.
K. Middelburg,
2023,
ArXiv.
K. Middelburg,
2022,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2005,
CALCO.
K. Middelburg,
2019,
Sci. Ann. Comput. Sci..
C. A. Middelburg,
Link,
J. Bergstra,
2009,
Theory of Computing Systems.
K. Middelburg,
2021,
Sci. Ann. Comput. Sci..
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,
K. Middelburg,
J. A. Bergstraa,
2004,
Theor. Comput. Sci..
Jan A. Bergstra,
Kees Middelburg,
Gheorghe Stefanescu,
2013,
ArXiv.
J. Bergstra,
K. Middelburg,
2013,
Sci. Ann. Comput. Sci..
K. Middelburg,
2023,
ArXiv.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2007,
Fundam. Informaticae.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2014,
Fundam. Informaticae.
Jan A. Bergstra,
Kees Middelburg,
J. Bergstra,
2013,
ArXiv.