Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Laurence Puel

"Laurence Puel" appeared in Books and Chapters

Showing 0 to 0 of 0 entries
BookAuthor(s)YearPublisher
No data available in table
BoookAuthor(s)YearPublisher
Showing 0 to 0 of 0 entries
Showing 1 to 5 of 5 entries
ChapterAuthor(s)BookBook AuthorsYearPublisher
Embedding with patterns and associated recursive path ordering
Laurence Puel
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
Nachum Dershowitz
1989
Springer Berlin Heidelberg
Extension of the associative path ordering to a chain of associative commutative symbols
Catherine Delor; Laurence Puel
Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
Claude Kirchner
1993
Springer Berlin Heidelberg
Optimal solutions to pattern matching problems
Laurence Puel; Ascánder Suárez
TAPSOFT ' 93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
Marie-Claude Gaudel; Jean-Pierre Jouannaud
1993
Springer Berlin Heidelberg
Reducing AC-termination to termination
Maria C. F. Ferreira; Delia Kesner; Laurence Puel
Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS' 98, Brno, Czech Republic, August 24-28, 1998
Luboš Brim; Jozef Gruska; Jiří Zlatuška
1998
Springer Berlin Heidelberg
λ-calculi with explicit substitutions and composition which preserve β-strong normalization
Maria C. F. Ferreira; Delia Kesner; Laurence Puel
Algebraic and Logic Programming: 5th International Conference, ALP ' 96, Aachen, Germany, September 25 - 27, 1996. Proceedings
Michael Hanus; Mario Rodríguez-Artalejo
1996
Springer Berlin Heidelberg
ChapterAuthor(s)BookBook AuthorsYearPublisher
Showing 1 to 5 of 5 entries