Pages that link to "Item:Q4371515"
From MaRDI portal
The following pages link to Tabled evaluation with delaying for general logic programs (Q4371515):
Displayed 7 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Precise specification matching for adaptive reuse in embedded systems (Q2372190) (← links)
- The limits of fixed-order computation (Q5940930) (← links)
- \(\mho\)-resolution and hybrid knowledge bases (Q5947353) (← links)
- Loop checks for logic programs with functions (Q5958765) (← links)
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767) (← links)