Laurence Puel

Available identifiers

zbMath Open puel.laurenceMaRDI QIDQ1122596

List of research outcomes

Publication	Date of Publication	Type
Extension of the associative path ordering to a chain of associative commutative symbols	2022-12-09	Paper
Embedding with patterns and associated recursive path ordering	2022-12-09	Paper
Optimal solutions to pattern matching problems	2022-11-02	Paper
λ-calculi with explicit substitutions and composition which preserve β-strong normalization	2017-01-19	Paper
\(\lambda\)-calculi with explicit substitutions preserving strong normalization	1999-06-02	Paper
A typed pattern calculus	1996-03-27	Paper
Compiling pattern matching by term decomposition	1993-06-29	Paper
Using unavoidable set of trees to generalize Kruskal's theorem	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3711760	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3716284	1984-01-01	Paper

Research outcomes over time

This page was built for person: Laurence Puel