Zum Inhalt springen

Bidoit, Michel [Verfasser:in] ; Dauchet, Max [Sonstige Person, Familie und Körperschaft]

TAPSOFT'97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

Erschienen in: Lecture notes in computer science ; 1214
Dauchet, Max [Sonstige Person, Familie und Körperschaft] ; CAAP 13 1988 Nancy

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21 - 24, 1988 ; proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1988 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 29900
Dauchet, Max [Verfasser:in] ; Nivat, Maurice [Sonstige Person, Familie und Körperschaft]

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1988

Erschienen in: Lecture notes in computer science ; 299
Dauchet, Max

Term Rewriting: Rewriting and tree automata

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1995

Erschienen in: Term Rewriting (1995), Seite 95-113
Dauchet, Max

Simulation of Turing machines by a regular rewrite rule

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1992

Erschienen in: Theoretical Computer Science, 103 (1992) 2, Seite 409-420
Dauchet, Max

Rewriting Techniques and Applications: Simulation of Turing machines by a left-linear rewrite rule

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1989

Erschienen in: Rewriting Techniques and Applications (1989), Seite 109-120
André, Yves; Dauchet, Max

Decidability of equivalence for a class of non-deterministic tree transducers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

EDP Sciences, 1994

Erschienen in: RAIRO - Theoretical Informatics and Applications, 28 (1994) 5, Seite 447-463
Dauchet, Max; Timmerman, Erick

Automata on Infinite Words: Decidability of yield's equality for infinite regular trees

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1985

Erschienen in: Automata on Infinite Words (1985), Seite 118-136
Arnold, André; Dauchet, Max

Forêts Algébriques et Homomorphismes Inverses

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1978

Erschienen in: Information and Control, 37 (1978) 2, Seite 182-196
Arnold, André; Dauchet, Max

Un théorème de duplication pour les forêts algébriques

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1976

Erschienen in: Journal of Computer and System Sciences, 13 (1976) 2, Seite 223-244
Arnold, André; Dauchet, Max

Transductions de forêts reconnaissables monadiques, forêts corégulières

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

EDP Sciences, 1976

Erschienen in: Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, 10 (1976) R1, Seite 5-28
Dauchet, Max; Luc Rémy, Jean

Editorial

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1990

Erschienen in: Theoretical Computer Science, 72 (1990) 2-3, Seite 95
Dauchet, Max; Tison, Sophie; Tommasi, Marc

Réduction de la non-linéarité des morphismes d'arbres Recognizable tree-languages and non-linear morphisms

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2002

Erschienen in: Theoretical Computer Science, 281 (2002) 1-2, Seite 219-233
Devienne, Philippe; Lebègue, Patrick; Dauchet, Max

Weighted systems of equations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1993

Erschienen in: Theoretical Computer Science, 119 (1993) 1, Seite 39-62
Coquidé, Jean-Luc; Dauchet, Max; Tison, Sophie

Fundamentals of Computation Theory: About connections between syntactical and computational complexity

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1989

Erschienen in: Fundamentals of Computation Theory (1989), Seite 105-115
Porrot, Sylvain; Dauchet, Max; Durand, Bruno; Vereshchagin, Nikolai K.

Lecture Notes in Computer Science: Deterministic rational transducers and random sequences

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1998

Erschienen in: Lecture Notes in Computer Science (1998), Seite 258-272
Dauchet, Max; Caron, Anne-Cécile; Coquidé, Jean-Luc

Automata for Reduction Properties Solving

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1995

Erschienen in: Journal of Symbolic Computation, 20 (1995) 2, Seite 215-233
Coquidé, Jean-Luc; Dauchet, Max; Gilleron, Rémi; Vágvölgyi, Sándor

Bottom-up tree pushdown automata: classification and connection with rewrite systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1994

Erschienen in: Theoretical Computer Science, 127 (1994) 1, Seite 69-98
Caron, Anne-Cécile; Coquide, Jean-Luc; Dauchet, Max

Rewriting Techniques and Applications: Encompassment properties and automata with constraints

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1993

Erschienen in: Rewriting Techniques and Applications (1993), Seite 328-342
Caron, Anne-Cécile; Coquide, Jean-Luc; Dauchet, Max

Rewriting Techniques and Applications: Encompassment properties and automata with constraints

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1993

Erschienen in: Rewriting Techniques and Applications (1993), Seite 328-342

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr