The following pages link to (Q3477997):
Displaying 10 items.
- Weakly expressive models for Hoare logic (Q805248) (← links)
- The expressive power of stratified logic programs with value invention (Q1281496) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- Well-founded and stationary models of logic programs (Q1924748) (← links)
- An abstract machine for fixed-order dynamically stratified programs (Q4647532) (← links)
- On the Coincidence of Semantics for Uniquely Determined Programs (Q4923373) (← links)
- The limits of fixed-order computation (Q5940930) (← links)
- Generalized well-founded semantics for logic programs (Q6488525) (← links)
