Pages that link to "Item:Q5424886"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424886):
Displaying 5 items.
- lpeq (Q44796) (← links)
- DLPEQ (Q44797) (← links)
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- A Translation-based Approach to the Verification of Modular Equivalence (Q3395261) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424873) (← links)