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

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540095101, 9783540351689
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Functional characterization of some semantic equalities inside λ-calculus

1979 ◽  
pp. 133-146 ◽  
Author(s):  
M. Coppo ◽  
M. Dezani-Ciancaglini ◽  
P. Salle'
Keyword(s):  
Functional Characterization

Existential quantifiers in abstract data types

1979 ◽  
pp. 73-87 ◽  
Author(s):  
M. Broy ◽  
W. Dosch ◽  
H. Partsch ◽  
P. Pepper ◽  
M. Wirsing
Keyword(s):  
Abstract Data Types ◽  
Data Types ◽  
Abstract Data

On constructing LL(k) parsers

1979 ◽  
pp. 585-595 ◽  
Author(s):  
Seppo Sippu ◽  
Eljas Soisalon-Soininen

A formal semantics for concurrent systems

1979 ◽  
pp. 571-584 ◽  
Author(s):  
M. W. Shields ◽  
P. E. Lauer
Keyword(s):  
Formal Semantics ◽  
Concurrent Systems

Constructing call-by-value continuation semantics

1979 ◽  
pp. 556-570 ◽  
Author(s):  
Ravi Sethi ◽  
Adrian Tang

An axiomatic treatment of ALGOL 68 routines

1979 ◽  
pp. 530-545 ◽  
Author(s):  
Richard L. Schwartz
Keyword(s):  
Axiomatic Treatment ◽  
Algol 68

Extending the notion of finite index

1979 ◽  
pp. 479-488 ◽  
Author(s):  
G. Rozenberg ◽  
D. Vermeir
Keyword(s):  
Finite Index
Load More ...
Sign in / Sign up

Export Citation Format

Share Document