Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540115762, 9783540393085

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Domains for denotational semantics

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012801 ◽

1982 ◽

pp. 577-610 ◽

Cited By ~ 241

Author(s):

Dana S. Scott

Keyword(s):

Denotational Semantics

Download Full-text

Advances in pebbling

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012787 ◽

1982 ◽

pp. 407-417 ◽

Cited By ~ 15

Author(s):

Nicholas Pippenger

Download Full-text

On-the-fly garbage collection: New algorithms inspired by program proofs

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012753 ◽

1982 ◽

pp. 14-22 ◽

Cited By ~ 2

Author(s):

Mordechai Ben-Ari

Keyword(s):

Garbage Collection ◽

New Algorithms

Download Full-text

A branching process arising in dynamic hashing, trie searching and polynomial factorization

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012773 ◽

1982 ◽

pp. 239-251 ◽

Cited By ~ 13

Author(s):

Philippe Flajolet ◽

Jean-Marc Steyaert

Keyword(s):

Branching Process ◽

Polynomial Factorization ◽

Dynamic Hashing

Download Full-text

Approximations of infinitary objects

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012762 ◽

1982 ◽

pp. 116-127 ◽

Cited By ~ 3

Author(s):

G. Comyn ◽

M. Dauchet

Download Full-text

Algorithmic theories of data structures

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012792 ◽

1982 ◽

pp. 458-472

Author(s):

Andrzej Salwicki

Keyword(s):

Data Structures

Download Full-text

Derived Pairs, overlap closures, and rewrite dominoes: New tools for analyzing term rewriting systems

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012778 ◽

1982 ◽

pp. 300-312 ◽

Cited By ~ 2

Author(s):

John V. Guttag ◽

Deepak Kapur ◽

David R. Musser

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Implementation of parameterised specifications

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012793 ◽

1982 ◽

pp. 473-488 ◽

Cited By ~ 29

Author(s):

Donald Sannella ◽

Martin Wirsing

Download Full-text

Parameter passing commutes with implementation of parameterized data types

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012770 ◽

1982 ◽

pp. 197-211 ◽

Cited By ~ 12

Author(s):

H. Ehrig ◽

H. -J. Kreowski

Keyword(s):

Data Types ◽

Parameter Passing

Download Full-text

Equivalence and membership problems for regular trace languages

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012757 ◽

1982 ◽

pp. 61-71 ◽

Cited By ~ 23

Author(s):

A. Bertoni ◽

G. Mauri ◽

N. Sabadini

Keyword(s):

Membership Problems

Download Full-text

Automata, Languages and Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Domains for denotational semantics

Advances in pebbling

On-the-fly garbage collection: New algorithms inspired by program proofs

A branching process arising in dynamic hashing, trie searching and polynomial factorization

Approximations of infinitary objects

Algorithmic theories of data structures

Derived Pairs, overlap closures, and rewrite dominoes: New tools for analyzing term rewriting systems

Implementation of parameterised specifications

Parameter passing commutes with implementation of parameterized data types

Equivalence and membership problems for regular trace languages

Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications