BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × France
1 × Israel
1 × Portugal
1 × United Kingdom
2 × Italy
3 × USA
Collaborated with:
A.Arnold J.Coquidé S.Tison A.Caron A.Deruyver F.D.Comité G.Comyn S.Porrot B.Durand N.K.Vereshchagin R.Gilleron S.Vágvölgyi T.Heuillard P.Lescanne H.Comon F.Jacquemard
Talks about:
rewrit (6) system (5) linear (3) ground (3) term (3) constraint (2) automata (2) decid (2) determinist (1) infinitari (1)

Person: Max Dauchet

DBLP DBLP: Dauchet:Max

Facilitated 1 volumes:


Contributed to:

FoSSaCS 19981998
ICALP 19941994
RTA 19931993
RTA 19911991
LICS 19901990
RTA 19891989
LICS 19871987
RTA 19871987
ICALP 19821982
ICALP 19781978
ICALP 19761976

Wrote 12 papers:

FoSSaCS-1998-PorrotDDV #random #sequence #transducer
Deterministic Rational Transducers and Random Sequences (SP, MD, BD, NKV), pp. 258–272.
ICALP-1994-CaronCCDJ #constraints
Pumping, Cleaning and Symbolic Constraints Solving (ACC, HC, JLC, MD, FJ), pp. 436–449.
RTA-1993-CaronCD #automaton #constraints
Encompassment Properties and Automata with Constraints (ACC, JLC, MD), pp. 328–342.
RTA-1991-CoquideDGV #automaton #bottom-up #term rewriting
Bottom-Up Tree Pushdown Automata and Rewrite Systems (JLC, MD, RG, SV), pp. 287–298.
LICS-1990-DauchetT #decidability #formal method #term rewriting
The Theory of Ground Rewrite Systems is Decidable (MD, ST), pp. 242–248.
RTA-1989-Dauchet #linear #simulation #turing machine
Simulation of Turing Machines by a Left-Linear Rewrite Rule (MD), pp. 109–120.
RTA-1989-DauchetD #compilation #term rewriting
Compilation of Ground Term Rewriting Systems and Applications (MD, AD), pp. 556–558.
LICS-1987-DauchetTHL #confluence #decidability #term rewriting
Decidability of the Confluence of Ground Term Rewriting Systems (MD, ST, TH, PL), pp. 353–359.
RTA-1987-DauchetC #linear #term rewriting
A Gap Between Linear and Non Linear Term-Rewriting Systems (1) (MD, FDC), pp. 95–104.
ICALP-1982-ComynD #approximate
Approximations of Infinitary Objects (GC, MD), pp. 116–127.
ICALP-1978-ArnoldD #french #morphism
Sul l’inversion des morphisms d’arbres (AA, MD), pp. 26–35.
ICALP-1976-ArnoldD #french
Bi-transductions de forêts (AA, MD), pp. 74–86.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.