On the representation of infinite temporal data and queries (extended abstract)
- 1 April 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Constraint query languages (preliminary report)Published by Association for Computing Machinery (ACM) ,1990
- Temporal logic programmingJournal of Symbolic Computation, 1989
- Temporal logic programming is complete and expressivePublished by Association for Computing Machinery (ACM) ,1989
- A temporal fixpoint calculusPublished by Association for Computing Machinery (ACM) ,1988
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- A combinatorial approach to the theory of ω-automataInformation and Control, 1981
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976