Pages that link to "Item:Q1094151"
From MaRDI portal
The following pages link to Partial models and logic programming (Q1094151):
Displaying 11 items.
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290) (← links)
- Programming in three-valued logic (Q753474) (← links)
- A first order logic for partial functions (Q918965) (← links)
- A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses (Q1193863) (← links)
- Equivalence in two-, three, and four-dimensional space-times (Q1200437) (← links)
- Graph properties for normal logic programs (Q1208418) (← links)
- Fixpoint semantics for logic programming a survey (Q1605173) (← links)
- Institutions of variable truth values: An approach in the ordered style (Q1894330) (← links)
- A theory of formal truth arithmetically equivalent to ID<sub>1</sub> (Q3197819) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)
