Pages that link to "Item:Q2566298"
From MaRDI portal
The following pages link to Temporal stratification tests for linear and branching-time deductive databases (Q2566298):
Displaying 5 items.
- Locally stratified Boolean grammars (Q948094) (← links)
- Positive Dedalus programs tolerate non-causality (Q2453541) (← links)
- Temporal stratification tests for linear and branching-time deductive databases (Q2566298) (← links)
- On the computational complexity of stratified negation in linear-time temporal logic programming (Q2758303) (← links)
- Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)