×
Edit Profile (opens in new tab)

Dauchet, Max

Co-Author Distance
Author ID: dauchet.max Recent zbMATH articles by "Dauchet, Max"
Published as: Dauchet, M.; Dauchet, Max
Documents Indexed: 38 Publications since 1976
3 Contributions as Editor · 2 Further Contributions
Co-Authors: 25 Co-Authors with 37 Joint Publications
282 Co-Co-Authors
all top 5

Co-Authors

5 single-authored
11 Arnold, André
6 Coquidé, Jean-Luc
6 Tison, Sophie
4 Comyn, Gerard
3 Caron, Anne-Cécile
2 Bossut, Francis
2 Gilleron, Rémi
2 Timmerman, Erick
2 Vágvölgyi, Sándor
2 Warin, Bruno
1 André, Yves
1 Comon, Hubert
1 De Comité, Francesco
1 Devienne, Philippe
1 Heuillard, Thierry
1 Jacquemard, Florent
1 Latteux, Michel
1 Lebègue, Patrick
1 Lescanne, Pierre
1 Lilin, Eric
1 Mongy, Jocelyne
1 Nivat, Maurice
1 Pomorski, Denis
1 Porrot, Sylvain
1 Remy, Jean-Luc
1 Tommasi, Marc
all top 5

Serials

6 Theoretical Computer Science
2 RAIRO, Informatique Théorique
2 Information and Computation
2 RAIRO. Informatique Théorique et Applications
1 Calcolo
1 Information and Control
1 Journal of Computer and System Sciences
1 Mathematical Systems Theory
1 Journal of Symbolic Computation
1 Bulletin of the European Association for Theoretical Computer Science (EATCS)
1 Comptes Rendus de l’Académie des Sciences. Série I
1 Lecture Notes in Computer Science
all top 5

Fields

39 Computer science (68-XX)
12 Mathematical logic and foundations (03-XX)
6 Combinatorics (05-XX)
5 General and overarching topics; collections (00-XX)
4 General algebraic systems (08-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
2 General topology (54-XX)
1 Group theory and generalizations (20-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

33 Publications have been cited 317 times in 210 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
37
1990
Morphismes et bimorphismes d’arbres. Zbl 0486.68072
Arnold, A.; Dauchet, M.
27
1982
BI-transductions de forêts. Zbl 0363.68104
Arnold, A.; Dauchet, M.
22
1976
Encompassment properties and automata with constraints. Zbl 1503.03039
Caron, Anne-Cécile; Coquide, Jean-Luc; Dauchet, Max
21
1993
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
18
1994
Un théorème de duplication pour les forets algébriques. Zbl 0335.68050
Arnold, Andre; Dauchet, Max
17
1976
Forets algébriques et homomorphismes inverses. Zbl 0395.68073
Arnold, Andre; Dauchet, Max
17
1978
Automata for reduction properties solving. Zbl 0843.68071
Dauchet, Max; Caron, Anne-Cécile; Coquidé, Jean-Luc
15
1995
Théorie des magmoides. II. Zbl 0443.68053
Arnold, A.; Dauchet, M.
14
1979
Simulation of Turing machines by a regular rewrite rule. Zbl 0753.68052
Dauchet, Max
14
1992
Théorie des magmoides. I. Zbl 0391.68037
Arnold, A.; Dauchet, M.
13
1978
Simulation of Turing machines by a left-linear rewrite rule. Zbl 1503.68067
Dauchet, Max
13
1989
Decidability of confluence for ground term rewriting systems. Zbl 0579.68023
Dauchet, M.; Tison, S.
12
1985
Pumping, cleaning and symbolic constraints solving. Zbl 1418.68114
Caron, Anne-Cécile; Comon, Hubert; Coquidé, Jean-Luc; Dauchet, Max; Jacquemard, Florent
11
1994
Termination of rewriting is undecidable in the one-rule case. Zbl 0649.68026
Dauchet, Max
9
1988
Structural complexity of classes of tree languages. Zbl 0798.68086
Dauchet, M.; Tison, S.
8
1992
Grammaires transformationnelles et bimorphismes de magmoides. Zbl 0382.68062
Dauchet, M.
7
1977
A Kleene theorem for a class of planar acyclic graphs. Zbl 0826.68089
Bossut, Francis; Dauchet, Max; Warin, Bruno
7
1995
Bottom-up tree pushdown automata and rewrite systems. Zbl 1503.68096
Coquidé, J-L.; Dauchet, M.; Gilleron, R.; Vàgvölgyi, S.
5
1991
Decidability of equivalence for a class of non-deterministic tree transducers. Zbl 0884.68095
André, Yves; Dauchet, Max
4
1994
Metric approximations in ordered domains. Zbl 0578.03019
Comyn, G.; Dauchet, M.
4
1985
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
A gap between linear and non linear term-rewritings systems. Zbl 0625.68027
Dauchet, M.; de Comite, F.
3
1987
Continuous monoids and yields of infinite trees. Zbl 0605.06012
Dauchet, M.; Timmerman, E.
3
1986
Une rélation d’équivalence decidable sur la classe des forets reconnaissables. Zbl 0392.68065
Arnold, A.; Dauchet, M.
2
1978
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
2
2002
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
About connections between syntactical and computational complexity. Zbl 0756.68060
Coquidé, Jean-Luc; Dauchet, Max; Tison, Sophie
1
1989
Transformations de noyaux reconnaissables. Capacite generative des bimorphismes de forets. Zbl 0424.68045
Dauchet, Max; Mongy, Jocelyne
1
1979
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
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
2
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
15
1995
A Kleene theorem for a class of planar acyclic graphs. Zbl 0826.68089
Bossut, Francis; Dauchet, Max; Warin, Bruno
7
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
18
1994
Pumping, cleaning and symbolic constraints solving. Zbl 1418.68114
Caron, Anne-Cécile; Comon, Hubert; Coquidé, Jean-Luc; Dauchet, Max; Jacquemard, Florent
11
1994
Decidability of equivalence for a class of non-deterministic tree transducers. Zbl 0884.68095
André, Yves; Dauchet, Max
4
1994
Encompassment properties and automata with constraints. Zbl 1503.03039
Caron, Anne-Cécile; Coquide, Jean-Luc; Dauchet, Max
21
1993
Simulation of Turing machines by a regular rewrite rule. Zbl 0753.68052
Dauchet, Max
14
1992
Structural complexity of classes of tree languages. Zbl 0798.68086
Dauchet, M.; Tison, S.
8
1992
Bottom-up tree pushdown automata and rewrite systems. Zbl 1503.68096
Coquidé, J-L.; Dauchet, M.; Gilleron, R.; Vàgvölgyi, S.
5
1991
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
37
1990
Simulation of Turing machines by a left-linear rewrite rule. Zbl 1503.68067
Dauchet, Max
13
1989
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
9
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.
3
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.
12
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.
27
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.
14
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.
13
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.
22
1976
Un théorème de duplication pour les forets algébriques. Zbl 0335.68050
Arnold, Andre; Dauchet, Max
17
1976
all cited Publications top 5 cited Publications
all top 5

Cited by 180 Authors

18 Vágvölgyi, Sándor
15 Maletti, Andreas
13 Dauchet, Max
12 Engelfriet, Joost
11 Jacquemard, Florent
10 Bozapalidis, Symeon
9 Middeldorp, Aart
7 Fülöp, Zoltán
7 Tison, Sophie
7 Zantema, Hans
6 Courcelle, Bruno
6 Godoy, Guillem
6 Jouannaud, Jean-Pierre
6 Kalampakas, Antonios
5 Arnold, André
5 Rahonis, George
5 Salomaa, Kai T.
4 Bouhoula, Adel
4 Comon, Hubert
4 Creus, Carles
4 Dershowitz, Nachum
4 Geser, Alfons
4 Treinen, Ralf
3 André, Yves
3 Bartha, Miklós
3 Bossut, Francis
3 Coquidé, Jean-Luc
3 Drewes, Frank
3 Durand, Irène A.
3 Gascón, Adrià
3 Héam, Pierre-Cyrille
3 Klop, Jan Willem
3 Kouchnarenko, Olga
3 Lilin, Eric
3 Rusinowitch, Michaël
3 Sakai, Masahiko
3 Sénizergues, Géraud
3 Simonsen, Jakob Grue
3 Steinbach, Joachim
3 Tîrnăucă, Cătălin Ionuţ
2 Bauderon, Michel
2 Blattmann, Malte
2 Courbis, Roméo
2 Diekert, Volker
2 Dowek, Gilles
2 Filiot, Emmanuel
2 Genet, Thomas
2 Gilleron, Rémi
2 Gramlich, Bernhard
2 Gyenizse, Pál
2 Herrmann, Luisa
2 Klay, Francis
2 Kojima, Yoshiharu
2 Lescanne, Pierre
2 Limet, Sébastien
2 Lucas, Salvador
2 Maneth, Sebastian
2 Niehren, Joachim
2 Ohlebusch, Enno
2 Otto, Friedrich
2 Ramos, Lander
2 Salzer, Gernot
2 Steinby, Magnus
2 Talbot, Jean-Marc
2 Thomas, Wolfgang
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 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 Devienne, Philippe
1 Dietze, Toni
1 Dutour, Isabelle
1 Earnshaw, Matthew
1 Endrullis, Jörg
1 Fedou, Jean-Marc
1 Felgenhauer, Bertram
1 Feuillade, Guillaume
1 Filé, Gilberto
1 Franchi-Zannettacci, Paul
1 Ganzinger, Harald
1 Garrigue, Jacques
...and 80 more Authors
all top 5

Cited in 29 Serials

56 Theoretical Computer Science
21 Information and Computation
8 Acta Informatica
7 Information Processing Letters
7 International Journal of Foundations of Computer Science
7 RAIRO. Informatique Théorique et Applications
6 Journal of Computer and System Sciences
5 Mathematical Systems Theory
5 Journal of Automated Reasoning
4 RAIRO, Informatique Théorique
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Logical and Algebraic Methods in Programming
3 Journal of Symbolic Computation
2 Fuzzy Sets and Systems
2 Annals of Pure and Applied Logic
2 Theory of Computing Systems
1 Artificial Intelligence
1 Linear and Multilinear Algebra
1 Calcolo
1 The Journal of Symbolic Logic
1 SIAM Journal on Computing
1 Formal Aspects of Computing
1 Higher-Order and Symbolic Computation
1 RAIRO. Theoretical Informatics and Applications
1 The Journal of Logic and Algebraic Programming
1 Theory and Practice of Logic Programming
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 Logical Methods in Computer Science
all top 5

Cited in 15 Fields

204 Computer science (68-XX)
41 Mathematical logic and foundations (03-XX)
12 Combinatorics (05-XX)
6 General algebraic systems (08-XX)
4 Group theory and generalizations (20-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
3 Category theory; homological algebra (18-XX)
2 Associative rings and algebras (16-XX)
2 Information and communication theory, circuits (94-XX)
1 Number theory (11-XX)
1 Field theory and polynomials (12-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Sequences, series, summability (40-XX)
1 General topology (54-XX)
1 Numerical analysis (65-XX)

Citations by Year