Journals in DBLP
Acta Inf.
1993, volume: 30, number: 7
- Zohar Manna, Amir Pnueli
Models for Reactivity. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1993, v:30, n:7, pp:609-678 [Journal] - Alexander Tuzhilin
Querying Datalog Programs with Temporal Logic. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1993, v:30, n:7, pp:679-700 [Journal]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002