Pages that link to "Item:Q4036281"
From MaRDI portal
The following pages link to The defining power of stratified and hierarchical logic programs (Q4036281):
Displaying 8 items.
- Between constructive mathematics and PROLOG (Q1173742) (← links)
- The expressive power of stratified logic programs with value invention (Q1281496) (← links)
- Multi-valued autoepistemic logic (Q1380408) (← links)
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
- (Q2766950) (← links)
- (Q3477997) (← links)
- (Q4230339) (← links)
- Contextual hypotheses and semantics of logic programs (Q4897703) (← links)