Max Dauchet

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Simulation of Turing machines by a left-linear rewrite rule
Rewriting Techniques and Applications
2022-12-09Paper
Bottom-up tree pushdown automata and rewrite systems
Rewriting Techniques and Applications
2022-12-09Paper
Encompassment properties and automata with constraints
Rewriting Techniques and Applications
2022-12-09Paper
Pumping, cleaning and symbolic constraints solving
Automata, Languages and Programming
2019-04-29Paper
Recognizable tree-languages and nonlinear morphisms
Theoretical Computer Science
2002-07-15Paper
scientific article; zbMATH DE number 1064115 (Why is no real title available?)1997-11-20Paper
Decidability of equivalence for a class of non-deterministic tree transducers
RAIRO - Theoretical Informatics and Applications
1997-10-30Paper
Automata for reduction properties solving
Journal of Symbolic Computation
1996-06-06Paper
A Kleene theorem for a class of planar acyclic graphs
Information and Computation
1995-07-10Paper
Bottom-up tree pushdown automata: Classification and connection with rewrite systems
Theoretical Computer Science
1994-05-15Paper
Weighted systems of equations
Theoretical Computer Science
1994-03-13Paper
scientific article; zbMATH DE number 475424 (Why is no real title available?)1994-01-13Paper
Simulation of Turing machines by a regular rewrite rule
Theoretical Computer Science
1993-01-16Paper
scientific article; zbMATH DE number 17534 (Why is no real title available?)1992-06-26Paper
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
Information and Computation
1990-01-01Paper
scientific article; zbMATH DE number 4060699 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4072412 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4016185 (Why is no real title available?)1987-01-01Paper
Continuous monoids and yields of infinite trees
RAIRO - Theoretical Informatics and Applications
1986-01-01Paper
scientific article; zbMATH DE number 3911742 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3924762 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3928342 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3883639 (Why is no real title available?)1983-01-01Paper
Morphismes et bimorphismes d'arbres
Theoretical Computer Science
1982-01-01Paper
scientific article; zbMATH DE number 3795936 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3803419 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3714971 (Why is no real title available?)1981-01-01Paper
scientific article; zbMATH DE number 3660809 (Why is no real title available?)1979-01-01Paper
scientific article; zbMATH DE number 3692668 (Why is no real title available?)1979-01-01Paper
scientific article; zbMATH DE number 3757736 (Why is no real title available?)1978-01-01Paper
scientific article; zbMATH DE number 3599500 (Why is no real title available?)1978-01-01Paper
scientific article; zbMATH DE number 3607504 (Why is no real title available?)1978-01-01Paper
Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables
Mathematical Systems Theory
1978-01-01Paper
Forêts Algébriques et Homomorphismes Inverses
Information and Control
1978-01-01Paper
Un théorème de Chomsky-Schützenberger pour les forets algébriques
Calcolo
1977-01-01Paper
scientific article; zbMATH DE number 3594667 (Why is no real title available?)1977-01-01Paper
Un théorème de duplication pour les forets algébriques
Journal of Computer and System Sciences
1976-01-01Paper
scientific article; zbMATH DE number 3566209 (Why is no real title available?)1976-01-01Paper


Research outcomes over time


This page was built for person: Max Dauchet