Volume 30, Issue 7 | Acta Informatica

Search all Acta Informatica articles

Volume 30, Issue 7

July 1993

2 articles in this issue

Models for reactivity
Zohar Manna
Amir Pnueli
OriginalPaper Pages: 609 - 678
Querying datalog programs with temporal logic
Alexander Tuzhilin
OriginalPaper Pages: 679 - 700