Inductive synthesis of dot expressions
From MaRDI portal
Publication:4560354
DOI10.1007/BFb0019359zbMath1412.68291WikidataQ57239799 ScholiaQ57239799MaRDI QIDQ4560354
Publication date: 11 December 2018
Published in: Baltic Computer Science (Search for Journal in Brave)
Computational learning theory (68Q32) Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) General topics in the theory of algorithms (68W01)
Related Items (2)
Algorithms for learning regular expressions from positive data ⋮ Generalized regular expressions - a language for synthesis of programs with branching in loops
Cites Work
This page was built for publication: Inductive synthesis of dot expressions