Pages that link to "Item:Q1822523"
From MaRDI portal
The following pages link to Generalized regular expressions - a language for synthesis of programs with branching in loops (Q1822523):
Displaying 7 items.
- Algorithms for learning regular expressions from positive data (Q1013092) (← links)
- On complete sets of samples for generalized regular expressions (Q1183590) (← links)
- On a generalization of regular expressions (Q1592084) (← links)
- On the synthesis of minimal sources (Q3125976) (← links)
- Inductive synthesis of dot expressions (Q4560354) (← links)
- Some models of inductive syntactical synthesis from sample computations (Q4560355) (← links)
- Inductive synthesis of term rewriting systems (Q4560356) (← links)