Pages that link to "Item:Q756406"
From MaRDI portal
The following pages link to Grammar-related transformations of logic programs (Q756406):
Displaying 8 items.
- Running programs backwards: The logical inversion of imperative computation (Q1377325) (← links)
- Lambek calculus for transformational grammar (Q1768811) (← links)
- (Q3204030) (← links)
- (Q4896256) (← links)
- Generating Specialized Rules and Programs for Demand-Driven Analysis (Q5505434) (← links)
- Transformations of logic programs (Q5930885) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- Transformations of logic programs (Q6483351) (← links)