Pages that link to "Item:Q4208859"
From MaRDI portal
The following pages link to A logical foundation for logic programming II: Semantics of general logic programs (Q4208859):
Displaying 5 items.
- Here and There among Logics for Logic Programming (Q2900511) (← links)
- Bilattices and the semantics of logic programming (Q3983121) (← links)
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion (Q4208858) (← links)
- (Q4327612) (← links)
- A computable semantics for general logic programs (Q4730755) (← links)