Pages that link to "Item:Q987981"

The following pages link to A compact fixpoint semantics for term rewriting systems (Q987981):

Displaying 3 items.

• An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
• Abstract Diagnosis of First Order Functional Logic Programs (Q3003495) (← links)
• Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)