Alban Ponse
发表
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2014,
Software, Services, and Systems.
Chris Verhoef,
Alban Ponse,
Bas van Vlijmen,
1997,
Theor. Comput. Sci..
Alban Ponse,
M. B. van der Zwaag,
A. Ponse,
2005
.
Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals
pdf
Jan A. Bergstra,
Alban Ponse,
2014,
ArXiv.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1995
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1998,
Inf. Process. Lett..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
1994,
Comput. J..
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.
Marc Bezem,
Alban Ponse,
1997,
Theor. Comput. Sci..
Alban Ponse,
A. Ponse,
1996,
Formal Aspects of Computing.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1993,
Semantics of Specification Languages.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2007
.
Alban Ponse,
A. Ponse,
1989
.
Jan A. Bergstra,
Alban Ponse,
Daan J. C. Staudt,
2018,
ArXiv.
Alban Ponse,
2002,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Alban Ponse,
2002,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2013,
WADT.
Alban Ponse,
D. F. Bosscher,
A. Ponse,
1995
.
Alban Ponse,
Mark van der Zwaag,
2006,
Electron. Notes Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2000
.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2000
.
Jan A. Bergstra,
Alban Ponse,
2016
.
Alban Ponse,
Mark van der Zwaag,
A. Ponse,
2007,
Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
2007,
ArXiv.
Chris Verhoef,
Alban Ponse,
S. F. M. van Vlijmen,
1995
.
Jan A. Bergstra,
Alban Ponse,
Mark van der Zwaag,
2007,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2008,
TOCL.
Alban Ponse,
Michel A. Reniers,
Yaroslav S. Usenko,
2008
.
Jan A. Bergstra,
Alban Ponse,
Joris A. Hillebrand,
1995
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2001,
Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2007,
ArXiv.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1991,
CONCUR.
Jan A. Bergstra,
Alban Ponse,
2000,
J. Appl. Non Class. Logics.
Jan A. Bergstra,
Alban Ponse,
2006
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2010,
ArXiv.
Alban Ponse,
Inge Bethke,
Pieter Hendrik Rodenburg,
2011,
Theor. Comput. Sci..
Alban Ponse,
B ZwaagvanderM.,
2002
.
Chris Verhoef,
Alban Ponse,
S.F.M. van Vlijmen,
1995
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2008,
ArXiv.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2001,
JACM.
Chris Verhoef,
M. Nivat,
Alban Ponse,
1997
.
Alban Ponse,
Daan J. C. Staudt,
A. Ponse,
2017,
J. Appl. Non Class. Logics.
Jan A. Bergstra,
Alban Ponse,
Jos van Wamel,
1993,
REX School/Symposium.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
1993
.
Jan A. Bergstra,
Alban Ponse,
2006
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2009,
ArXiv.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1998,
Notre Dame J. Formal Log..
Jan A. Bergstra,
Alban Ponse,
1997
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2015,
Correct System Design.
Alban Ponse,
Mark van der Zwaag,
A. Ponse,
2006,
CiE.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2005,
EGC.
Alban Ponse,
Yaroslav S. Usenko,
2001,
Inf. Process. Lett..
Jan Friso Groote,
Alban Ponse,
Yaroslav S. Usenko,
2000,
J. Log. Algebraic Methods Program..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
1993,
CSL.
Jan A. Bergstra,
Alban Ponse,
2008,
ArXiv.
M. de Rijke,
Yde Venema,
Alban Ponse,
1995
.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1990
.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1994,
Formal Aspects of Computing.
Alban Ponse,
C Chris Verhoef,
van Sfm Bas Vlijmen,
1995
.
Jan A. Bergstra,
Alban Ponse,
2011,
FSEN.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1995
.
Jan A. Bergstra,
Alban Ponse,
Mark van der Zwaag,
2003,
Theor. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2013,
J. Appl. Log..
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2010,
ArXiv.
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 Friso Groote,
Chris Verhoef,
Alban Ponse,
1994
.
Alban Ponse,
A. Ponse,
1991,
Inf. Comput..
Jan A. Bergstra,
Alban Ponse,
Joris A. Hillebrand,
1997,
Sci. Comput. Program..
Jan A. Bergstra,
Alban Ponse,
2001,
Inf. Process. Lett..
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2006
.
Alban Ponse,
Mark van der Zwaag,
A. Ponse,
2006,
APC 25.
Alban Ponse,
Kyndylan Nienhuis,
Jan Van Eijck,
2012
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2009,
Sci. Ann. Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
1998,
Prospects for Hardware Foundations.
Alban Ponse,
Jan A. Bergstra,
2020,
Acta Informatica.
Alban Ponse,
Mark van der Zwaag,
A. Ponse,
2008,
Theory of Computing Systems.
Jan A. Bergstra,
Alban Ponse,
Inge Bethke,
2007,
Acta Informatica.
Jan A. Bergstra,
Alban Ponse,
2021,
Log. Methods Comput. Sci..
Jan A. Bergstra,
Alban Ponse,
2013
.
Alban Ponse,
Inge Bethke,
2003
.
Jan A. Bergstra,
Alban Ponse,
1999
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1995
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2008
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
1998
.
Jan A. Bergstra,
Alban Ponse,
J. Bergstra,
2014,
1411.4410.
Alban Ponse,
1992
.
Alban Ponse,
de Fer-Jan Vries,
1989
.