Volume 22, Issue 6 | Acta Informatica

Search all Acta Informatica articles

Volume 22, Issue 6

March 1986

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

A functional model for describing and reasoning about time behaviour of computing systems
Paul Caspi
Nicolas Halbwachs
OriginalPaper Pages: 595 - 627
Non-deterministic data types: models and implementations
Tobias Nipkow
OriginalPaper Pages: 629 - 661
Minimal coverings for incompletely specified sequential machines
B. Reusch
W. Merzenich
OriginalPaper Pages: 663 - 678
Investigations on Hotz groups for arbitrary grammars
Volker Diekert
OriginalPaper Pages: 679 - 698
Erratum
Piotr Rudnicki
Włodzimierz Drabent
Erratum Pages: 699 - 707
Acknowledgement to referees

Acknowledgments Pages: 709 - 710