Pages that link to "Item:Q3789103"
From MaRDI portal
The following pages link to Complete logic programs with domain-closure axiom (Q3789103):
Displayed 6 items.
- Programming in three-valued logic (Q753474) (← links)
- Negation by default and unstratifiable logic programs (Q753501) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- Completeness issues in RUE-NRF deduction: The undecidability of viability (Q1311402) (← links)
- What is failure? An approach to constructive negation (Q1346220) (← links)
- Quantifier elimination for infinite terms (Q1812980) (← links)