1.A standardisation proof for algebraic pattern calculi

作　　者：Delia Kesner ;Carlos Lombardi ;Alejandro Ríos

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;49:58-72.doi:10.4204/EPTCS.49.5

出版社：Open Publishing Association

文章 ID：83120130

文章详细全文下载

2.A Theory of Explicit Substitutions with Safe and Full Composition

作　　者：Delia Kesner

出　　处：Logical Methods in Computer Science. 2009 ;5(03).doi:10.2168/LMCS-5(3:1)2009

出版社：Technical University of Braunschweig

文章 ID：47333296

文章详细全文下载

3.Strong Bisimulation for Control Operators (Invited Talk)

作　　者：Delia Kesner ;Eduardo Bonelli ;Andrs Viso

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-23.doi:10.4230/LIPIcs.CSL.2020.4

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494205

文章详细全文下载

4.Types as Resources for Classical Natural Deduction

作　　者：Delia Kesner ;Pierre Vial

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:24:1-24:17.doi:10.4230/LIPIcs.FSCD.2017.24

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735133

文章详细全文下载

5.A Quantitative Understanding of Pattern Matching

作　　者：Sandra Alves ;Delia Kesner ;Daniel Ventura

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;175:1-36.doi:10.4230/LIPIcs.TYPES.2019.3

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：256859672

文章详细全文下载

6.Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus

作　　者：Beniamino Accattoli ;Delia Kesner

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:28)2012

出版社：Technical University of Braunschweig

文章 ID：264691928

文章详细全文下载

7.Normalisation for Dynamic Pattern Calculi

作　　者：Eduardo Bonelli ;Delia Kesner ;Carlos Lombardi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:117-132.doi:10.4230/LIPIcs.RTA.2012.117

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846080

文章详细全文下载

8.Metaconfluence of Calculi with Explicit Substitutions at a Distance

作　　者：Fl{\'a}vio L. C. de Moura ;Delia Kesner ;Mauricio Ayala-Rinc{\'o}n

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:391-402.doi:10.4230/LIPIcs.FSTTCS.2014.391

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846642

文章详细全文下载

9.Observability for Pair Pattern Calculi

作　　者：Antonio Bucciarelli ;Delia Kesner ;Simona Ronchi Della Rocca

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:123-137.doi:10.4230/LIPIcs.TLCA.2015.123

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846860

文章详细全文下载

10.Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee

作　　者：Delia Kesner ;Brigitte Pientka

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:0:i-0:xviii.doi:10.4230/LIPIcs.FSCD.2016.0

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847432

文章详细全文下载

	Delia Kesner	10篇
	Carlos Lombardi	2篇
	Eduardo Bonelli	2篇
	Alejandro Rios	1篇
	Alejandro Ríos	1篇

	德国	9篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Delia Kesner")))) )) ) )"

	Andrs Viso	1篇
	Antonio Bucciarelli	1篇
	Beniamino Accattoli	1篇
	Brigitte Pientka	1篇
	Daniel Ventura	1篇
	Fl{\'a}vio L. C. de Moura	1篇
	Mauricio Ayala-Rinc{\'o}n	1篇
	Pierre Vial	1篇
	Sandra Alves	1篇
	Simona Ronchi Della Rocca	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	Logical Methods in Computer Science	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇