Max Dauchet

From MaRDI portal
Person:918213

Available identifiers

zbMath Open dauchet.maxMaRDI QIDQ918213

List of research outcomes





PublicationDate of PublicationType
Simulation of Turing machines by a left-linear rewrite rule2022-12-09Paper
Encompassment properties and automata with constraints2022-12-09Paper
Bottom-up tree pushdown automata and rewrite systems2022-12-09Paper
Pumping, cleaning and symbolic constraints solving2019-04-29Paper
Recognizable tree-languages and nonlinear morphisms2002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q43556831997-11-20Paper
Decidability of equivalence for a class of non-deterministic tree transducers1997-10-30Paper
Automata for reduction properties solving1996-06-06Paper
A Kleene theorem for a class of planar acyclic graphs1995-07-10Paper
Bottom-up tree pushdown automata: Classification and connection with rewrite systems1994-05-15Paper
Weighted systems of equations1994-03-13Paper
https://portal.mardi4nfdi.de/entity/Q42736711994-01-13Paper
Simulation of Turing machines by a regular rewrite rule1993-01-16Paper
https://portal.mardi4nfdi.de/entity/Q39748581992-06-26Paper
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37952051988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38042151988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30283371987-01-01Paper
Continuous monoids and yields of infinite trees1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37025071985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36996771985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36877431985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32176331983-01-01Paper
Morphismes et bimorphismes d'arbres1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47405521982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47481341982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39064511981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38592731979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38868811979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41729291978-01-01Paper
Forêts Algébriques et Homomorphismes Inverses1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41662381978-01-01Paper
Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39408701978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41604281977-01-01Paper
Un théorème de Chomsky-Schützenberger pour les forets algébriques1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41381711976-01-01Paper
Un théorème de duplication pour les forets algébriques1976-01-01Paper

Research outcomes over time

This page was built for person: Max Dauchet