Volume 28, Issue 1 | Acta Informatica

Search all Acta Informatica articles

Volume 28, Issue 1

November 1990

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Nested satisfiability
Donald E. Knuth
OriginalPaper Pages: 1 - 6
Proof theory for exception handling in a tasking environment
K. Lodaya
R. K. Shyamasundar
OriginalPaper Pages: 7 - 41
Efficient memo-table management strategies
Hessam Khoshnevisan
OriginalPaper Pages: 43 - 81
A characterization of set representable labeled partial 2-structures through decompositions
A. Ehrenfeucht
G. Rozenberg
OriginalPaper Pages: 83 - 94