Volume 27, Issue 4 | Acta Informatica

Search all Acta Informatica articles

Volume 27, Issue 4

March 1990

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Temporal predicate transformers and fair termination
Joseph M. Morris
OriginalPaper Pages: 287 - 313
Partial (set) 2-structures
A. Ehrenfeucht
G. Rozenberg
OriginalPaper Pages: 315 - 342
Partial (set) 2-structures
A. Ehrenfeucht
G. Rozenberg
OriginalPaper Pages: 343 - 368
On efficient implementation of an approximation algorithm for the Steiner tree problem
Lawrence T. Kou
OriginalPaper Pages: 369 - 380