Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354057879x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some results on top-context-free tree languages

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017480 ◽

2005 ◽

pp. 157-171 ◽

Cited By ~ 2

Author(s):

Dieter Hofbauer ◽

Maria Huber ◽

Gregory Kucherov

Keyword(s):

Tree Languages ◽

Free Tree ◽

Context Free

Download Full-text

A new linear algorithm for Modular Decomposition

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017474 ◽

2005 ◽

pp. 68-84 ◽

Cited By ~ 72

Author(s):

Alain Cournier ◽

Michel Habib

Keyword(s):

Modular Decomposition ◽

Linear Algorithm

Download Full-text

Probabilistic analysis of an election algorithm in a tree

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017485 ◽

2005 ◽

pp. 234-245 ◽

Cited By ~ 4

Author(s):

Yves Métivier ◽

Nasser Saheb

Keyword(s):

Probabilistic Analysis ◽

Election Algorithm

Download Full-text

Nondeterministic automata with concurrency relations and domains

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017483 ◽

2005 ◽

pp. 202-217 ◽

Cited By ~ 8

Author(s):

Dietrich Kuske

Download Full-text

Graph grammars and tree transducers

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017471 ◽

2005 ◽

pp. 15-36 ◽

Cited By ~ 7

Author(s):

Joost Engelfriet

Keyword(s):

Graph Grammars ◽

Tree Transducers

Download Full-text

On the decidability of model checking for several μ-calculi and Petri nets

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017477 ◽

2005 ◽

pp. 115-129 ◽

Cited By ~ 29

Author(s):

Javier Esparza

Keyword(s):

Model Checking ◽

Petri Nets

Download Full-text

On projective and separable properties

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017489 ◽

2005 ◽

pp. 291-307 ◽

Cited By ~ 1

Author(s):

Doron Peled

Download Full-text

On higher order recursive program schemes

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017481 ◽

2005 ◽

pp. 172-186 ◽

Cited By ~ 9

Author(s):

Zurab Khasidashvili

Keyword(s):

Higher Order ◽

Recursive Program

Download Full-text

Ordering constraints on trees

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017470 ◽

2005 ◽

pp. 1-14 ◽

Cited By ~ 13

Author(s):

Hubert Comon ◽

Ralf Treinen

Keyword(s):

Ordering Constraints

Download Full-text

A grammar-based data-flow analysis to stop deforestation

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science ◽

10.1007/bfb0017492 ◽

2005 ◽

pp. 335-351 ◽

Cited By ~ 7

Author(s):

Morten Heine Sørensen

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis

Download Full-text

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Some results on top-context-free tree languages

A new linear algorithm for Modular Decomposition

Probabilistic analysis of an election algorithm in a tree

Nondeterministic automata with concurrency relations and domains

Graph grammars and tree transducers

On the decidability of model checking for several μ-calculi and Petri nets

On projective and separable properties

On higher order recursive program schemes

Ordering constraints on trees

A grammar-based data-flow analysis to stop deforestation

Trees in Algebra and Programming — CAAP'94 - Lecture Notes in Computer Science
Latest Publications