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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540610649, 9783540499442

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Termination by absence of infinite chains of dependency pairs

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

10.1007/3-540-61064-2_38 ◽

1996 ◽

pp. 196-210 ◽

Cited By ~ 4

Author(s):

Thomas Arts

Keyword(s):

Dependency Pairs

Download Full-text

Interaction nets and term rewriting systems (extended abstract)

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

10.1007/3-540-61064-2_35 ◽

1996 ◽

pp. 149-164 ◽

Cited By ~ 2

Author(s):

Maribel Fernández ◽

Ian Mackie

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Final semantics for a higher order concurrent language

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

10.1007/3-540-61064-2_32 ◽

1996 ◽

pp. 102-118 ◽

Cited By ~ 5

Author(s):

Marina Lenisa

Keyword(s):

Higher Order

Download Full-text

A pumping lemma for output languages of macro tree transducers

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

10.1007/3-540-61064-2_28 ◽

1996 ◽

pp. 44-58 ◽

Cited By ~ 2

Author(s):

Armin Kühnemann

Keyword(s):

Tree Transducers ◽

Pumping Lemma

Download Full-text

The Kronecker product and local computations in graphs

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

10.1007/3-540-61064-2_25 ◽

1996 ◽

pp. 2-16 ◽

Cited By ~ 4

Author(s):

Anne Bottreau ◽

Yves Métivier

Keyword(s):

Kronecker Product

Download Full-text

Effective longest and infinite reduction paths in untyped λ-calculi

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

10.1007/3-540-61064-2_44 ◽

1996 ◽

pp. 287-301 ◽

Cited By ~ 2

Author(s):

Morten Heine SØrensen

Download Full-text

Iterative pairs and multitape automata

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

10.1007/3-540-61064-2_26 ◽

1996 ◽

pp. 17-29 ◽

Cited By ~ 1

Author(s):

Marina Madonia ◽

Stefano Varricchio

Download Full-text

The area determined by underdiagonal lattice paths

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

10.1007/3-540-61064-2_29 ◽

1996 ◽

pp. 59-71 ◽

Cited By ~ 6

Author(s):

Donatella Merlini ◽

Renzo Sprugnoli ◽

M. Cecilia Verri

Keyword(s):

Lattice Paths

Download Full-text

Denotational, causal, and operational determinism in event structures

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

10.1007/3-540-61064-2_43 ◽

1996 ◽

pp. 272-286

Author(s):

Arend Rensink

Keyword(s):

Event Structures

Download Full-text

Open maps, behavioural equivalences, and congruences

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

10.1007/3-540-61064-2_42 ◽

1996 ◽

pp. 257-271 ◽

Cited By ~ 3

Author(s):

Allan Cheng ◽

Mogens Nielsen

Keyword(s):

Open Maps

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Termination by absence of infinite chains of dependency pairs

Interaction nets and term rewriting systems (extended abstract)

Final semantics for a higher order concurrent language

A pumping lemma for output languages of macro tree transducers

The Kronecker product and local computations in graphs

Effective longest and infinite reduction paths in untyped λ-calculi

Iterative pairs and multitape automata

The area determined by underdiagonal lattice paths

Denotational, causal, and operational determinism in event structures

Open maps, behavioural equivalences, and congruences

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