On complete sets of samples for generalized regular expressions

DOI10.1016/0304-3975(91)90270-CzbMath0759.68060MaRDI QIDQ1183590

E. B. Kinber

Publication date: 28 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

inductive inferenceprogram synthesisgeneralized regular expressions

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Generalized regular expressions - a language for synthesis of programs with branching in loops

This page was built for publication: On complete sets of samples for generalized regular expressions