Pages that link to "Item:Q4452620"
From MaRDI portal
The following pages link to Classes of terminating logic programs (Q4452620):
Displayed 5 items.
- Making assumptions in the automated derivation (Q707362) (← links)
- Termination of floating-point computations (Q850498) (← links)
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- Contextual hypotheses and semantics of logic programs (Q4897703) (← links)