Pages that link to "Item:Q756406"

The following pages link to Grammar-related transformations of logic programs (Q756406):

Displaying 2 items.

• Running programs backwards: The logical inversion of imperative computation (Q1377325) (← links)
• Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)