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

TOTAL DOCUMENTS

50
(FIVE YEARS 0)

H-INDEX

13
(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

1982 ◽  
pp. 577-610 ◽  
Author(s):  
Dana S. Scott
Keyword(s):  
Denotational Semantics

Advances in pebbling

1982 ◽  
pp. 407-417 ◽  
Author(s):  
Nicholas Pippenger

Approximations of infinitary objects

1982 ◽  
pp. 116-127 ◽  
Author(s):  
G. Comyn ◽  
M. Dauchet

Algorithmic theories of data structures

1982 ◽  
pp. 458-472
Author(s):  
Andrzej Salwicki
Keyword(s):  
Data Structures

Implementation of parameterised specifications

1982 ◽  
pp. 473-488 ◽  
Author(s):  
Donald Sannella ◽  
Martin Wirsing

Equivalence and membership problems for regular trace languages

1982 ◽  
pp. 61-71 ◽  
Author(s):  
A. Bertoni ◽  
G. Mauri ◽  
N. Sabadini
Keyword(s):  
Membership Problems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document