Pages that link to "Item:Q5055734"
From MaRDI portal
The following pages link to Rewriting techniques for program synthesis (Q5055734):
Displaying 9 items.
- Synthesis of rewrite programs by higher-order and semantic unification (Q749216) (← links)
- When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Computing with rewrite systems (Q3707361) (← links)
- (Q4222980) (← links)
- Program transformation and rewriting (Q5055762) (← links)
- Axiomatization of a functional logic language (Q5096190) (← links)
- Conditional rewriting in focus (Q5881263) (← links)
- Term rewriting induction (Q6488529) (← links)