Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Delia Kesner" ( http://dblp.L3S.de/Authors/Delia_Kesner )

URL (Homepage):  http://www.pps.jussieu.fr/~kesner/  Author page on DBLP  Author page in RDF  Community of Delia Kesner in ASPL-2

Publication years (Num. hits)
1991-1998 (16) 1999-2005 (15) 2006-2012 (14)
Publication types (Num. hits)
article(18) inproceedings(27)
Venues (Conferences, Journals, ...)
RTA(5) Theor. Comput. Sci.(4) CSL(3) ICALP(3) LICS(3) Mathematical Structures in Com...(3) MFCS(3) ALP(2) Inf. Comput.(2) J. Log. Comput.(2) Journal of Functional and Logi...(2) Logical Methods in Computer Sc...(2) Appl. Algebra Eng. Commun. Com...(1) CADE(1) ESOP(1) FoSSaCS(1) More (+10 of total 23)
Authors
Delia Kesner(45) Roberto Di Cosmo(8) Alejandro Ríos(5) Laurence Puel(5) Eduardo Bonelli(4) Beniamino Accattoli(3) Maria C. F. Ferreira(3) Stéphane Lengrand(3) C. Barry Jay(2) Emmanuel Polonowski(2) Fabien Renaud(2) Julien Forest(2) Pablo E. Martínez López(2) Serenella Cerrito(2) Val Tannen(2) Carlos Lombardi(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Beniamino Accattoli, Delia Kesner Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Delia Kesner The Permutative λ-Calculus. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Fabien Renaud A prismoid framework for languages with resources. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Carlos Lombardi, Alejandro Ríos A standardisation proof for algebraic pattern calculi Search on Bibsonomy HOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Delia Kesner The Structural lambda-Calculus. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Delia Kesner A Theory of Explicit Substitutions with Safe and Full Composition Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1C. Barry Jay, Delia Kesner First-class patterns. Search on Bibsonomy J. Funct. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Fabien Renaud The Prismoid of Resources. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Delia Kesner Perpetuality for Full and Safe Composition (in a Constructive Setting). Search on Bibsonomy ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Stéphane Lengrand Resource operators for lambda-calculus. Search on Bibsonomy Inf. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Julien Forest, Delia Kesner Expression Reduction Systems with Patterns. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Expression reduction systems, Higher-order rewriting, Pattern matching
1Delia Kesner The Theory of Calculi with Explicit Substitutions Revisited. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roy Dyckhoff, Delia Kesner, Stéphane Lengrand Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1C. Barry Jay, Delia Kesner Pure Pattern Calculus. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Eduardo Bonelli, Delia Kesner, Alejandro Ríos de Bruijn Indices for Metaterms. Search on Bibsonomy J. Log. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Eduardo Bonelli, Delia Kesner, Alejandro Ríos Relating Higher-order and First-order Rewriting. Search on Bibsonomy J. Log. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Stéphane Lengrand Extending the Explicit Substitution Paradigm. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1John R. W. Glauert, Delia Kesner, Zurab Khasidashvili Expression Reduction Systems and Extensions: An Overview. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Serenella Cerrito, Delia Kesner Pattern matching as cut elimination. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski Proof Nets And Explicit Substitutions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Julien Forest, Delia Kesner Expression Reduction Systems with Patterns. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Delia Kesner Theory and applications of explicit substitutions: Introduction. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2001 DBLP  BibTeX  RDF
1Eduardo Bonelli, Delia Kesner, Alejandro Ríos From Higher-Order to First-Order Rewriting. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Delia Kesner Confluence of extensional and non-extensional lambda-calculi with explicit substitutions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Eduardo Bonelli, Delia Kesner, Alejandro Ríos A de Bruijn Notation for Higher-Order Rewriting. Search on Bibsonomy RTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski Proof Nets and Explicit Substitutions. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Pablo E. Martínez López Explicit Substitutions for Objects and Functions Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 1999 DBLP  BibTeX  RDF
1Maria C. F. Ferreira, Delia Kesner, Laurence Puel lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Preservation of strong normalization, ?-Calculus, Explicit substitutions
1Serenella Cerrito, Delia Kesner Pattern Matching as Cut Elimination. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Maria C. F. Ferreira, Delia Kesner, Laurence Puel Reducing AC-Termination to Termination. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Pablo E. Martínez López Explicit Substitutions for Objects and Functions. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Delia Kesner Reasoning about Redundant Patterns. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 1997 DBLP  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Laurence Puel, Val Tannen A Typed Pattern Calculus. Search on Bibsonomy Inf. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Maria C. F. Ferreira, Delia Kesner, Laurence Puel Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Delia Kesner Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract). Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Rewriting with Extensional Polymorphic Lambda-Calculus. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Simulating Expansions without Expansions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Delia Kesner Reasoning about Layered, Wildcard and Product Patterns. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo, Delia Kesner A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Val Tannen, Delia Kesner, Laurence Puel A Typed Pattern Calculus Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Delia Kesner Free Sequentially in Orthogonal Order-Sorted Rewriting Systems with Constructors. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Delia Kesner Pattern Matching in Order-Sorted Languages. Search on Bibsonomy MFCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #45 of 45 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.