Pages that link to "Item:Q5286916"

The following pages link to Loop checking in partial deduction (Q5286916):

Displaying 10 items.

• Making assumptions in the automated derivation (Q707362) (← links)
• Type-based homeomorphic embedding for online termination (Q989516) (← links)
• Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
• Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
• Explanations as programs in probabilistic logic programming (Q2163172) (← links)
• A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
• Deciding the Bisimilarity Relation between Datalog Goals (Q2915060) (← links)
• Knowledge base dynamics, abduction, and database updates (Q4835515) (← links)
• The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)
• Loop checks for logic programs with functions (Q5958765) (← links)