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
Bottom-up tree pushdown automata and rewrite systems	2022-12-09	Paper
Encompassment properties and automata with constraints	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/Q3687743	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3699677	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3702507	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/Q3940870	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4166238	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4172929	1978-01-01	Paper
Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables	1978-01-01	Paper
Forêts Algébriques et Homomorphismes Inverses	1978-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/Q4160428	1977-01-01	Paper
Un théorème de duplication pour les forets algébriques	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138171	1976-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Max Dauchet