Volume 26, Issue 4 | Acta Informatica

Search all Acta Informatica articles

Volume 26, Issue 4

February 1989

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Laws of data refinement
Joseph M. Morris
OriginalPaper Pages: 287 - 308
Predicate-transformer semantics of general recursion
Wim H. Hesselink
OriginalPaper Pages: 309 - 332
Failures semantics and deadlocking of modular Petri nets
Walter Vogler
OriginalPaper Pages: 333 - 348
Modeling splits in file structures
Ricardo A. Baeza-Yates
OriginalPaper Pages: 349 - 362
On counting and approximation
Johannes Köbler
Uwe Schöning
Jacobo Toran
OriginalPaper Pages: 363 - 379
Through the mincing machine with a Boolean layer cake
Edward G. Belaga
OriginalPaper Pages: 381 - 407