Lecture Notes in Computer Science - CAAP '81
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540108283, 9783540387169

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proprietes de cloture d'une extension de transducteurs d'arbres deterministes

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_69 ◽

1981 ◽

pp. 280-289 ◽

Cited By ~ 8

Author(s):

Eric Lilin

Download Full-text

Calcul du rang des ∑-arbres infinis regulers

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_66 ◽

1981 ◽

pp. 238-254 ◽

Cited By ~ 1

Author(s):

G. Jacob

Download Full-text

Easy solutions are hard to find

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_59 ◽

1981 ◽

pp. 135-146 ◽

Cited By ~ 3

Author(s):

Stephen L. Bloom ◽

David B. Patterson

Download Full-text

Algebraic theory of parameterized specifications with requirements

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_51 ◽

1981 ◽

pp. 1-24 ◽

Cited By ~ 18

Author(s):

Hartmut Ehrig

Keyword(s):

Algebraic Theory

Download Full-text

Applied tree enumerations

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_62 ◽

1981 ◽

pp. 180-193 ◽

Cited By ~ 4

Author(s):

Nachum Dershowitz ◽

Shmuel Zaks

Download Full-text

Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_65 ◽

1981 ◽

pp. 224-237 ◽

Cited By ~ 8

Author(s):

Günter Hornung ◽

Peter Raulefs

Keyword(s):

Data Type ◽

Abstract Data Type ◽

Abstract Data

Download Full-text

On pushdown tree automata

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_64 ◽

1981 ◽

pp. 211-223

Author(s):

Irène Guessarian

Keyword(s):

Tree Automata

Download Full-text

Une semantique pour les arbres non deterministes

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_60 ◽

1981 ◽

pp. 147-161 ◽

Cited By ~ 2

Author(s):

G. Boudol

Download Full-text

Top-down tree-transducers for infinite trees I

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_58 ◽

1981 ◽

pp. 117-134 ◽

Cited By ~ 2

Author(s):

J. Bilstein ◽

W. Damm

Keyword(s):

Top Down ◽

Infinite Trees ◽

Tree Transducers

Download Full-text

Trees as data and file structures

Lecture Notes in Computer Science - CAAP '81 ◽

10.1007/3-540-10828-9_53 ◽

1981 ◽

pp. 35-45 ◽

Cited By ~ 5

Author(s):

J. Nievergelt

Keyword(s):

File Structures

Download Full-text