Pages that link to "Item:Q5055734"
From MaRDI portal
The following pages link to Rewriting techniques for program synthesis (Q5055734):
Displayed 4 items.
- When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Axiomatization of a functional logic language (Q5096190) (← links)
- Conditional rewriting in focus (Q5881263) (← links)