-
Computer Science. Vol. B. Elsevier. pp. 243–320.; here: Sect. 2.3 Max
Dauchet (1989). "Simulation of
Turing Machines by a Left-Linear
Rewrite Rule"....
- 3471–3480, doi:10.1016/j.tcs.2009.03.011, S2CID 14277204
Hubert Comon; Max
Dauchet; Rémi Gilleron;
Florent Jacquemard;
Denis Lugiez;
Christoph Löding; Sophie...
-
whether an
input tree is
accepted by an
input AFA) is in PTIME. H. Comon, M.
Dauchet, R. Gilleron, C. Löding, F. Jacquemard, D. Lugiez, S.
Tison et M. Tommasi...
- Le Pen
Mayor of
Carvin In****bent ****umed
office 2001
Preceded by
Odette Dauchet Personal details Born (1948-06-28) 28 June 1948 (age 76) Emmerin, France...
-
theorem 1.3.1, p. 30.
Comon et al. 2008, sect. 1.5, p .36. Comon, Hubert;
Dauchet, Max; Gilleron, Rémi; Jacquemard, Florent; Lugiez, Denis; Löding, Christof;...
- as unary,
which is illicit, as
Arity must be a function. Comon, Hubert;
Dauchet, Max; Gilleron, Rémi; Jacquemard, Florent; Lugiez, Denis; Löding, Christof;...
- for
scope underspecification". CiteSeerX 10.1.1.164.5484. Comon, Hubert;
Dauchet, Max; Gilleron, Remi; Löding, Christof; Jacquemard, Florent; Lugiez, Denis;...
- the
picture that T
forms a (fully)
infinite binary tree. Comon, Hubert;
Dauchet, Max; Gilleron, Rémi; Jacquemard, Florent; Lugiez, Denis; Löding, Christof;...
- {\displaystyle f(q_{1}(x_{1}),\dots ,q_{n}(x_{n}))\to q(u)} . Comon, Hubert;
Dauchet, Max; Gilleron, Rémi; Jacquemard, Florent; Lugiez, Denis; Löding, Christof;...
- Dill,
James Hwang, "Symbolic
model checking: 10^20
states and beyond" Max
Dauchet,
Sophie Tison, "The
theory of
ground rewrite systems is decidable" Peter...
