D. Kesner
发表
Alejandro Ríos,
Delia Kesner,
Eduardo Bonelli,
2001,
RTA.
Delia Kesner,
D. Kesner,
2001,
Mathematical Structures in Computer Science.
D. Kesner,
Beniamino Accattoli,
2012,
ICLP 2012.
Delia Kesner,
Beniamino Accattoli,
D. Kesner,
2010
.
D. Kesner,
S. Conchúir,
2008
.
Delia Kesner,
Pierre Vial,
D. Kesner,
2018,
Log. Methods Comput. Sci..
R. D. Cosmo,
D. Kesner,
2013
.
R. D. Cosmo,
D. Kesner,
1993
.
Delia Kesner,
Mauricio Ayala-Rincón,
Flávio L. C. de Moura,
2014,
FSTTCS.
Delia Kesner,
D. Kesner,
2016,
FoSSaCS.
D. Kesner,
2020
.
D. Kesner,
Michele Pagani,
2017
.
E. Bonelli,
D. Kesner,
Alejandro Ríos,
2001
.
R. D. Cosmo,
D. Kesner,
2013
.
D. Kesner,
1997
.
D. Kesner,
1991
.
D. Kesner,
Loïc Peyrot,
2022,
FSCD.
D. Kesner,
Beniamino Accattoli,
Stéphane,
2018
.
D. Kesner,
A. Bucciarelli,
A. R'ios,
2020,
FLOPS.
Alejandro Ríos,
Delia Kesner,
Andrés Viso,
2018,
FoSSaCS.
Delia Kesner,
Pierre Vial,
D. Kesner,
2020,
LICS.
Roberto Di Cosmo,
Delia Kesner,
R. D. Cosmo,
1994,
Mathematical Structures in Computer Science.
Roberto Di Cosmo,
Delia Kesner,
R. D. Cosmo,
1993,
ICALP.
Sandra Alves,
D. Kesner,
Miguel Ramos,
2023,
ArXiv.
D. Kesner,
Giulio Guerrieri,
Victor Arrial,
2023,
Proc. ACM Program. Lang..
Delia Kesner,
Andr'es Viso,
D. Kesner,
2021,
CSL.
Delia Kesner,
Daniel Lima Ventura,
Loïc Peyrot,
2021,
FoSSaCS.
Delia Kesner,
Andrés Viso,
D. Kesner,
2021,
ArXiv.
Delia Kesner,
Beniamino Accattoli,
Stéphane Lengrand,
2020,
Journal of Functional Programming.
D. Kesner,
2020
.
Delia Kesner,
D. Kesner,
2019,
Electronic Proceedings in Theoretical Computer Science.
Delia Kesner,
Beniamino Accattoli,
Stéphane Lengrand,
2018,
Proc. ACM Program. Lang..
Antonio Bucciarelli,
Delia Kesner,
Daniel Lima Ventura,
2017,
Log. J. IGPL.
Delia Kesner,
Beniamino Accattoli,
D. Kesner,
2012,
LPAR.
D. Kesner,
A. Bucciarelli,
S. D. Rocca,
2018,
Log. Methods Comput. Sci..
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2017,
Log. Methods Comput. Sci..
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2014,
IFIP TCS.
Delia Kesner,
Beniamino Accattoli,
D. Kesner,
2010,
CSL.
Val Tannen,
Delia Kesner,
Laurence Puel,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Delia Kesner,
D. Kesner,
2008,
ICALP.
Delia Kesner,
D. Kesner,
2007,
CSL.
Delia Kesner,
Daniel Lima Ventura,
D. Kesner,
2017,
Mathematical Structures in Computer Science.
Delia Kesner,
Daniel Lima Ventura,
D. Kesner,
2015,
ICTAC.
D. Kesner,
A. Bucciarelli,
S. D. Rocca,
2018,
Log. Methods Comput. Sci..
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2018,
ArXiv.
Delia Kesner,
Eduardo Bonelli,
Pablo Barenbaum,
2017,
Proc. ACM Program. Lang..
Delia Kesner,
C. Barry Jay,
D. Kesner,
2009,
Journal of Functional Programming.
Delia Kesner,
D. Kesner,
1994,
ALP.
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2015,
TLCA.
Alejandro Ríos,
Delia Kesner,
Eduardo Bonelli,
2012,
RTA.
Antonio Bucciarelli,
Delia Kesner,
Alejandro R'ios,
2020,
FLOPS.
Antonio Bucciarelli,
Delia Kesner,
Daniel Lima Ventura,
2016,
LSFA.
Delia Kesner,
Daniel Lima Ventura,
D. Kesner,
2014,
IFIP TCS.
Delia Kesner,
Daniel Lima Ventura,
D. Kesner,
2014
.
Delia Kesner,
Fabien Renaud,
D. Kesner,
2009,
MFCS.
E. Bonelli,
D. Kesner,
Andrés Viso,
2021,
2101.05754.
Alejandro Ríos,
Delia Kesner,
Eduardo Bonelli,
2014,
Theor. Comput. Sci..
Delia Kesner,
Beniamino Accattoli,
D. Kesner,
2012,
Log. Methods Comput. Sci..
Roy Dyckhoff,
Delia Kesner,
Stéphane Lengrand,
2006,
IJCAR.
Delia Kesner,
Julien Forest,
D. Kesner,
2003,
Journal of Automated Reasoning.
A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction
pdf
Delia Kesner,
Eduardo Bonelli,
Andr'es Viso,
2021,
ArXiv.
D. Kesner,
D. Kesner,
Beniamino Accattoli,
2012
.
Delia Kesner,
C. Barry Jay,
D. Kesner,
2006
.
Delia Kesner,
Stéphane Lengrand,
D. Kesner,
2005,
RTA.
Alejandro Ríos,
Delia Kesner,
Eduardo Bonelli,
2000,
RTA.
Delia Kesner,
Serenella Cerrito,
D. Kesner,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Delia Kesner,
Pablo E. Martínez López,
D. Kesner,
1998,
J. Funct. Log. Program..
Delia Kesner,
Laurence Puel,
Maria C. F. Ferreira,
1998,
MFCS.
Roberto Di Cosmo,
Delia Kesner,
R. D. Cosmo,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Delia Kesner,
Laurence Puel,
Maria C. F. Ferreira,
1996,
ALP.
Delia Kesner,
D. Kesner,
1996,
RTA.
Roberto Di Cosmo,
Delia Kesner,
R. D. Cosmo,
1995,
CSL.
Roberto Di Cosmo,
Delia Kesner,
R. D. Cosmo,
1994,
ICALP.
Delia Kesner,
D. Kesner,
1992,
CADE.
Delia Kesner,
D. Kesner,
1991,
MFCS.
Delia Kesner,
John R. W. Glauert,
Zurab Khasidashvili,
2005,
Processes, Terms and Cycles.
Delia Kesner,
D. Kesner,
C. F. Ferreira,
1996
.
Delia Kesner,
D. Kesner,
2009,
Log. Methods Comput. Sci..
Delia Kesner,
Stéphane Lengrand,
D. Kesner,
2007,
Inf. Comput..
Delia Kesner,
D. Kesner,
2000,
Theor. Comput. Sci..
Delia Kesner,
Laurence Puel,
Maria C. F. Ferreira,
1999,
Applicable Algebra in Engineering, Communication and Computing.
Delia Kesner,
Stéphane Lengrand,
D. Kesner,
2007
.
Traian-Florin Serbanuta,
D. Kesner,
Denisa Diaconescu,
2023
.
D. Kesner,
Giulio Guerrieri,
Victor Arrial,
2024,
2404.06361.
Roberto Di Cosmo,
Delia Kesner,
Emmanuel Polonowski,
2000,
Mathematical Structures in Computer Science.
D. Kesner,
Alejandro Ríos,
A. Bucciarelli,
2020,
FLOPS.
D. Kesner,
Andrés Viso,
2021,
ArXiv.