Volume 27, Issue 7 | Acta Informatica

Search all Acta Informatica articles

Volume 27, Issue 7

July 1990

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Duality in specification languages: a lattice-theoretical approach
R. J. R. Back
J. von Wright
OriginalPaper Pages: 583 - 625
Minimizing time-space cost for database version control
Lin Yu
Daniel J. Rosenkrantz
OriginalPaper Pages: 627 - 663
Proving relative lower bounds for incremental algorithms
A. Michael Berman
Marvin C. Paull
Barbara G. Ryder
OriginalPaper Pages: 665 - 683