Pages that link to "Item:Q5210773"

The following pages link to The applicability of logic program analysis and transformation to theorem proving (Q5210773):

Displaying 2 items.

• The applicability of logic program analysis and transformation to theorem proving (Q5210773) (← links)
• Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)