Max Dauchet

From MaRDI portal
(Redirected from Person:918213)



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