The following pages link to (Q4318639):
Displaying 7 items.
- Locally stratified Boolean grammars (Q948094) (← links)
- The expressiveness of locally stratified programs (Q1924734) (← links)
- Complexity and undecidability results for logic programming (Q1924779) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- Temporal stratification tests for linear and branching-time deductive databases (Q2566298) (← links)
- Extensional Semantics for Higher-Order Logic Programs with Negation (Q2835890) (← links)
- Game characterizations of logic program properties (Q5101444) (← links)
