Max Dauchet

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Simulation of Turing machines by a left-linear rewrite rule	2022-12-09	Paper
Encompassment properties and automata with constraints	2022-12-09	Paper
Bottom-up tree pushdown automata and rewrite systems	2022-12-09	Paper
Pumping, cleaning and symbolic constraints solving	2019-04-29	Paper
Recognizable tree-languages and nonlinear morphisms	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4355683	1997-11-20	Paper
Decidability of equivalence for a class of non-deterministic tree transducers	1997-10-30	Paper
Automata for reduction properties solving	1996-06-06	Paper
A Kleene theorem for a class of planar acyclic graphs	1995-07-10	Paper
Bottom-up tree pushdown automata: Classification and connection with rewrite systems	1994-05-15	Paper
Weighted systems of equations	1994-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4273671	1994-01-13	Paper
Simulation of Turing machines by a regular rewrite rule	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3974858	1992-06-26	Paper
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795205	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3804215	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028337	1987-01-01	Paper
Continuous monoids and yields of infinite trees	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3702507	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3699677	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3687743	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3217633	1983-01-01	Paper
Morphismes et bimorphismes d'arbres	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4740552	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4748134	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3906451	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3859273	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886881	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4172929	1978-01-01	Paper
Forêts Algébriques et Homomorphismes Inverses	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4166238	1978-01-01	Paper
Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3940870	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4160428	1977-01-01	Paper
Un théorème de Chomsky-Schützenberger pour les forets algébriques	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138171	1976-01-01	Paper
Un théorème de duplication pour les forets algébriques	1976-01-01	Paper

Research outcomes over time

This page was built for person: Max Dauchet