Rapid construction of algebraic axioms from samples

DOI10.1016/0304-3975(91)90307-NzbMath0738.68051OpenAlexW2018609235WikidataQ114683723 ScholiaQ114683723MaRDI QIDQ1179710

Ja. M. Barzdin', G. Ya. Barzdin'

Publication date: 26 June 1992

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

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90307-n

zbMATH Keywords

algebraic axiomseasily inferred sequences

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Inductive synthesis of term rewriting systems ⋮ Goals and benchmarks for automated map reasoning

Cites Work

• Baltic computer science. Selected papers

This page was built for publication: Rapid construction of algebraic axioms from samples