dblp.uni-trier.dewww.uni-trier.de

Laurence Puel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
12EEMaria C. F. Ferreira, Delia Kesner, Laurence Puel: lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. Appl. Algebra Eng. Commun. Comput. 9(4): 333-371 (1999)
1998
11EEMaria C. F. Ferreira, Delia Kesner, Laurence Puel: Reducing AC-Termination to Termination. MFCS 1998: 239-247
1996
10EEMaria C. F. Ferreira, Delia Kesner, Laurence Puel: Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. ALP 1996: 284-298
9 Delia Kesner, Laurence Puel, Val Tannen: A Typed Pattern Calculus. Inf. Comput. 124(1): 32-61 (1996)
1993
8 Val Tannen, Delia Kesner, Laurence Puel: A Typed Pattern Calculus LICS 1993: 262-274
7EECatherine Delor, Laurence Puel: Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols. RTA 1993: 389-404
6EELaurence Puel, Ascánder Suárez: Optimal Solutions to Pattern Matching Problems. TAPSOFT 1993: 501-518
5 Laurence Puel, Ascánder Suárez: Compiling Pattern Matching by Term Decomposition. J. Symb. Comput. 15(1): 1-26 (1993)
1990
4EELaurence Puel, Ascánder Suárez: Compiling Pattern Matching by Term Decomposition. LISP and Functional Programming 1990: 273-281
1989
3EELaurence Puel: Embedding with Patterns and Associated Recursive Path Ordering. RTA 1989: 371-387
2 Laurence Puel: Using Unavoidable Set of Trees to Generalize Kruskal's Theorem. J. Symb. Comput. 8(4): 335-382 (1989)
1984
1 Laurence Puel: Proofs in the Final Algebra. CAAP 1984: 227-242

Coauthor Index

1Catherine Delor [7]
2Maria C. F. Ferreira [10] [11] [12]
3Delia Kesner [8] [9] [10] [11] [12]
4Ascánder Suárez [4] [5] [6]
5Val Tannen (Valeriu Breazu, Val Breazu-Tannen) [8] [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)