×
Compute Distance To:
Author ID: dauchet.max Recent zbMATH articles by "Dauchet, Max"
Published as: Dauchet, M.; Dauchet, Max

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 234 times in 164 Documents Cited by Year
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems. Zbl 0705.68067
Dauchet, Max; Heuillard, Thierry; Lescanne, Pierre; Tison, Sophie
27
1990
Morphismes et bimorphismes d’arbres. Zbl 0486.68072
Arnold, A.; Dauchet, M.
22
1982
Bottom-up tree pushdown automata: Classification and connection with rewrite systems. Zbl 0805.68083
Coquidé, Jean-Luc; Dauchet, Max; Gilleron, Rémi; Vágvölgyi, Sándor
17
1994
Forets algébriques et homomorphismes inverses. Zbl 0395.68073
Arnold, Andre; Dauchet, Max
17
1978
BI-transductions de forêts. Zbl 0363.68104
Arnold, A.; Dauchet, M.
16
1976
Un théorème de duplication pour les forets algébriques. Zbl 0335.68050
Arnold, Andre; Dauchet, Max
16
1976
Automata for reduction properties solving. Zbl 0843.68071
Dauchet, Max; Caron, Anne-Cécile; Coquidé, Jean-Luc
14
1995
Théorie des magmoides. II. Zbl 0443.68053
Arnold, A.; Dauchet, M.
13
1979
Simulation of Turing machines by a regular rewrite rule. Zbl 0753.68052
Dauchet, Max
12
1992
Théorie des magmoides. I. Zbl 0391.68037
Arnold, A.; Dauchet, M.
12
1978
Decidability of confluence for ground term rewriting systems. Zbl 0579.68023
Dauchet, M.; Tison, S.
9
1985
Pumping, cleaning and symbolic constraints solving. Zbl 1418.68114
Caron, Anne-Cécile; Comon, Hubert; Coquidé, Jean-Luc; Dauchet, Max; Jacquemard, Florent
7
1994
Structural complexity of classes of tree languages. Zbl 0798.68086
Dauchet, M.; Tison, S.
7
1992
Grammaires transformationnelles et bimorphismes de magmoides. Zbl 0382.68062
Dauchet, M.
7
1977
Termination of rewriting is undecidable in the one-rule case. Zbl 0649.68026
Dauchet, Max
6
1988
A Kleene theorem for a class of planar acyclic graphs. Zbl 0826.68089
Bossut, Francis; Dauchet, Max; Warin, Bruno
6
1995
Metric approximations in ordered domains. Zbl 0578.03019
Comyn, G.; Dauchet, M.
4
1985
Decidability of equivalence for a class of non-deterministic tree transducers. Zbl 0884.68095
André, Yves; Dauchet, Max
3
1994
Continuous monoids and yields of infinite trees. Zbl 0605.06012
Dauchet, M.; Timmerman, E.
3
1986
Un théorème de Chomsky-Schützenberger pour les forets algébriques. Zbl 0363.68105
Arnold, A.; Dauchet, M.
3
1977
Sur l’inversion des morphismes d’arbres. Zbl 0385.68059
Arnold, A.; Dauchet, M.
3
1978
Une rélation d’équivalence decidable sur la classe des forets reconnaissables. Zbl 0392.68065
Arnold, A.; Dauchet, M.
2
1978
About connections between syntactical and computational complexity. Zbl 0756.68060
Coquidé, Jean-Luc; Dauchet, Max; Tison, Sophie
1
1989
Automata and rational expressions on planar graphs. Zbl 0656.68079
Bossut, Francis; Dauchet, Max; Warin, Bruno
1
1988
Decidability of yield’s equality for infinite regular trees. Zbl 0571.68067
Dauchet, Max; Timmerman, Erick
1
1985
A gap between linear and non linear term-rewritings systems. Zbl 0625.68027
Dauchet, M.; de Comite, F.
1
1987
Transformations de noyaux reconnaissables. Capacite generative des bimorphismes de forets. Zbl 0424.68045
Dauchet, Max; Mongy, Jocelyne
1
1979
Approximations of infinitary objects. Zbl 0505.03013
Comyn, G.; Dauchet, M.
1
1982
Trees in algebra and programming. 6 papers presented at the 22nd and last CAAP conference, Lille, France, April 14–18, 1997. Zbl 0940.00059
1
2000
Recognizable tree-languages and nonlinear morphisms. (Réduction de la non-linéarité des morphismes d’arbres.) Zbl 1014.68092
Dauchet, Max; Tison, Sophie; Tommasi, Marc
1
2002
Recognizable tree-languages and nonlinear morphisms. (Réduction de la non-linéarité des morphismes d’arbres.) Zbl 1014.68092
Dauchet, Max; Tison, Sophie; Tommasi, Marc
1
2002
Trees in algebra and programming. 6 papers presented at the 22nd and last CAAP conference, Lille, France, April 14–18, 1997. Zbl 0940.00059
1
2000
Automata for reduction properties solving. Zbl 0843.68071
Dauchet, Max; Caron, Anne-Cécile; Coquidé, Jean-Luc
14
1995
A Kleene theorem for a class of planar acyclic graphs. Zbl 0826.68089
Bossut, Francis; Dauchet, Max; Warin, Bruno
6
1995
Bottom-up tree pushdown automata: Classification and connection with rewrite systems. Zbl 0805.68083
Coquidé, Jean-Luc; Dauchet, Max; Gilleron, Rémi; Vágvölgyi, Sándor
17
1994
Pumping, cleaning and symbolic constraints solving. Zbl 1418.68114
Caron, Anne-Cécile; Comon, Hubert; Coquidé, Jean-Luc; Dauchet, Max; Jacquemard, Florent
7
1994
Decidability of equivalence for a class of non-deterministic tree transducers. Zbl 0884.68095
André, Yves; Dauchet, Max
3
1994
Simulation of Turing machines by a regular rewrite rule. Zbl 0753.68052
Dauchet, Max
12
1992
Structural complexity of classes of tree languages. Zbl 0798.68086
Dauchet, M.; Tison, S.
7
1992
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems. Zbl 0705.68067
Dauchet, Max; Heuillard, Thierry; Lescanne, Pierre; Tison, Sophie
27
1990
About connections between syntactical and computational complexity. Zbl 0756.68060
Coquidé, Jean-Luc; Dauchet, Max; Tison, Sophie
1
1989
Termination of rewriting is undecidable in the one-rule case. Zbl 0649.68026
Dauchet, Max
6
1988
Automata and rational expressions on planar graphs. Zbl 0656.68079
Bossut, Francis; Dauchet, Max; Warin, Bruno
1
1988
A gap between linear and non linear term-rewritings systems. Zbl 0625.68027
Dauchet, M.; de Comite, F.
1
1987
Continuous monoids and yields of infinite trees. Zbl 0605.06012
Dauchet, M.; Timmerman, E.
3
1986
Decidability of confluence for ground term rewriting systems. Zbl 0579.68023
Dauchet, M.; Tison, S.
9
1985
Metric approximations in ordered domains. Zbl 0578.03019
Comyn, G.; Dauchet, M.
4
1985
Decidability of yield’s equality for infinite regular trees. Zbl 0571.68067
Dauchet, Max; Timmerman, Erick
1
1985
Morphismes et bimorphismes d’arbres. Zbl 0486.68072
Arnold, A.; Dauchet, M.
22
1982
Approximations of infinitary objects. Zbl 0505.03013
Comyn, G.; Dauchet, M.
1
1982
Théorie des magmoides. II. Zbl 0443.68053
Arnold, A.; Dauchet, M.
13
1979
Transformations de noyaux reconnaissables. Capacite generative des bimorphismes de forets. Zbl 0424.68045
Dauchet, Max; Mongy, Jocelyne
1
1979
Forets algébriques et homomorphismes inverses. Zbl 0395.68073
Arnold, Andre; Dauchet, Max
17
1978
Théorie des magmoides. I. Zbl 0391.68037
Arnold, A.; Dauchet, M.
12
1978
Sur l’inversion des morphismes d’arbres. Zbl 0385.68059
Arnold, A.; Dauchet, M.
3
1978
Une rélation d’équivalence decidable sur la classe des forets reconnaissables. Zbl 0392.68065
Arnold, A.; Dauchet, M.
2
1978
Grammaires transformationnelles et bimorphismes de magmoides. Zbl 0382.68062
Dauchet, M.
7
1977
Un théorème de Chomsky-Schützenberger pour les forets algébriques. Zbl 0363.68105
Arnold, A.; Dauchet, M.
3
1977
BI-transductions de forêts. Zbl 0363.68104
Arnold, A.; Dauchet, M.
16
1976
Un théorème de duplication pour les forets algébriques. Zbl 0335.68050
Arnold, Andre; Dauchet, Max
16
1976
all top 5

Cited by 155 Authors

17 Vágvölgyi, Sándor
12 Maletti, Andreas
11 Engelfriet, Joost
10 Bozapalidis, Symeon
10 Dauchet, Max
9 Jacquemard, Florent
7 Fülöp, Zoltán
7 Middeldorp, Aart
6 Arnold, André
6 Courcelle, Bruno
5 Godoy, Guillem
5 Kalampakas, Antonios
5 Rahonis, George
4 Zantema, Hans
3 Bartha, Miklós
3 Comon, Hubert
3 Creus, Carles
3 Drewes, Frank
3 Durand, Irène A.
3 Geser, Alfons
3 Héam, Pierre-Cyrille
3 Kouchnarenko, Olga
3 Salomaa, Kai T.
3 Simonsen, Jakob Grue
3 Tison, Sophie
2 André, Yves
2 Bauderon, Michel
2 Bossut, Francis
2 Bouhoula, Adel
2 Coquidé, Jean-Luc
2 Courbis, Roméo
2 Diekert, Volker
2 Dowek, Gilles
2 Gascón, Adrià
2 Gyenizse, Pál
2 Herrmann, Luisa
2 Jouannaud, Jean-Pierre
2 Klay, Francis
2 Lilin, Eric
2 Limet, Sébastien
2 Lucas, Salvador
2 Maneth, Sebastian
2 Ohlebusch, Enno
2 Rusinowitch, Michaël
2 Salzer, Gernot
2 Sénizergues, Géraud
2 Thomas, Wolfgang
2 Tîrnăucă, Cătălin Ionuţ
2 Tiwari, Ashish Kumar
2 Tommasi, Marc
2 Vacher, Camille
2 Veanes, Margus
2 Verma, Rakesh M.
1 Asveld, Peter R. J.
1 Baier, Christel
1 Benedikt, Michael A.
1 Berstel, Jean
1 Björklund, Johanna
1 Blattmann, Malte
1 Boichut, Yohan
1 Bonsangue, Marcello Maria
1 Bozapalidoy, Olympia Louscou
1 Bozzelli, Laura
1 Burel, Guillaume
1 Burghardt, Jochen
1 Caron, Anne-Cécile
1 Carton, Olivier
1 Căzănescu, Virgil Emil
1 Cohen, Shay B.
1 Colcombet, Thomas
1 Degtyarev, Anatoli Ivanovich
1 Delahaye, Jean-Paul
1 Dershowitz, Nachum
1 Devienne, Philippe
1 Dietze, Toni
1 Dutour, Isabelle
1 Endrullis, Jörg
1 Fedou, Jean-Marc
1 Felgenhauer, Bertram
1 Feuillade, Guillaume
1 Filé, Gilberto
1 Filiot, Emmanuel
1 Franchi-Zannettacci, Paul
1 Ganzinger, Harald
1 Garrigue, Jacques
1 Genet, Thomas
1 Germain, Christian
1 Geuvers, Jan Herman
1 Gilleron, Rémi
1 Göller, Stefan
1 Gramlich, Bernhard
1 Guessarian, Irène
1 Gurevich, Yuri
1 Hardin, Thérèse
1 Hirokawa, Nao
1 Hofbauer, Dieter
1 Huber, Maria
1 Hugot, Vincent
1 Iliadis, Lazaros S.
1 Jiang, Ying
...and 55 more Authors

Citations by Year