Pages that link to "Item:Q1199536"
From MaRDI portal
The following pages link to Testing logic programs for local stratification (Q1199536):
Displaying 4 items.
- Verifying local stratifiability of logic programs and databases (Q1205177) (← links)
- Temporal stratification tests for linear and branching-time deductive databases (Q2566298) (← links)
- Using linear constraints for logic program termination analysis (Q4593032) (← links)
- Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)