Pages that link to "Item:Q4719299"
From MaRDI portal
The following pages link to Branching-time logic programming: the language Cactus and its applications (Q4719299):
Displayed 7 items.
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- Temporal stratification tests for linear and branching-time deductive databases (Q2566298) (← links)
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
- Temporal disjunctive logic programming (Q5929097) (← links)
- Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)