Searching for "The Temporal Logic of Programs" – sorted by Relevance.
165 documents found, showing 1 through 10.
Next 10 →
-
Clocked Temporal Logic Programming
- …Clocked Temporal Logic Programming Chuchang Liu Mehmet A. Orgun Department of Computing Macquarie…
- Cited by 1 (0 self) – Add To MetaCart
-
Executing Temporal Logic Programs
- …Executing Temporal Logic Programs Ben Moszkowski address when wrote book (’84-’85): Computer…
- Add To MetaCart
-
Projection in Temporal Logic Programming 3
- …Projection in Temporal Logic Programming 3 Zhenhua Duan, Maciej Koutny and Chris Holt Department…
- Add To MetaCart
-
Strongly equivalent temporal logic programs ⋆
- …Strongly equivalent temporal logic programs ⋆ Felicidad Aguado, Pedro Cabalar, Gilberto Pérez…
- Add To MetaCart
-
A Stratification Test for Temporal Logic Programs
- …A Stratification Test for Temporal Logic Programs Christos Nomikos 1y , Panos Rondogiannis 2…
- Cited by 2 (1 self) – Add To MetaCart
-
Temporal Logic of Programs: A Standard Approach
- …Chapter 1 Temporal logic of programs: a standard approach A. Sza las Institute of Informatics…
- Cited by 1 (0 self) – Add To MetaCart
-
From the Past to the Future: Executing Temporal Logic Programs
- …From the Past to the Future: Executing Temporal Logic Programs Michael Fisher 1 and Richard…
- Cited by 21 (12 self) – Add To MetaCart
-
Dealing with Multiple Granularity of Time in Temporal Logic Programming
- …Dealing with Multiple Granularity of Time in Temporal Logic Programming CHUCHANG LIU AND MEHMET A…
- Cited by 10 (7 self) – Add To MetaCart
-
Stratified Negation in Temporal Logic Programming and the Cycle Sum Test
- …Stratified Negation in Temporal Logic Programming and the Cycle Sum Test P. Rondogiannis…
- Cited by 2 (1 self) – Add To MetaCart
-
Parallel Execution of Temporal Logic Programs Using Dataflow Computation
- …1 Parallel Execution of Temporal Logic Programs Using Dataflow Computation Kang Zhang Mehmet A…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
