The following pages link to (Q3334069):
Displaying 7 items.
- Legality concepts for three-valued logic programs (Q689286) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Programming in three-valued logic (Q753474) (← links)
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Optimal fixedpoints of logic programs (Q1069694) (← links)
- Resolution approximation of first-order logics (Q1187026) (← links)
- Logic Programs under Three-Valued Łukasiewicz Semantics (Q5325771) (← links)
