Inductive synthesis of term rewriting systems

DOI10.1007/BFB0019361MaRDI QIDQ4560356zbMATH OpenOpenAlexFDO

Authors G. Ya. Barzdin'

Publication date 11 December 2018

Published in Baltic Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0019361

zbMATH Keywords

abstract data typeconstructor functionground terminductive synthesismain term

Mathematics Subject Classification ID

Computational learning theory (68Q32) Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65) General topics in the theory of algorithms (68W01)

Recommendations

• On the Minimax Estimation Problem of a Fractional Derivative
• scientific article; zbMATH DE number 1123973
• A general theory of kernel estimation of smooth functionals of the distribution function and their derivatives
• Adaptive minimax estimation of a fractional derivative
• Unbiased nonparametric estimation of the derivative of the mean

Cites work

• A Methodology for LISP Program Construction from Examples
• Constructing Programs from Example Computations
• Finding patterns common to a set of strings
• Generalized regular expressions - a language for synthesis of programs with branching in loops
• scientific article; zbMATH DE number 3402109 (Why is no real title available?)
• Language identification in the limit
• Rapid construction of algebraic axioms from samples
• Termination of rewriting
• The Inference of Regular LISP Programs from Examples

Cited in

(4)

• Syntax-guided rewrite rule enumeration for SMT solvers
• Inducing constructor systems from example-terms by detecting syntactical regularities
• scientific article; zbMATH DE number 3890721 (Why is no real title available?)
• On the Minimax Estimation Problem of a Fractional Derivative

This page was built for publication: Inductive synthesis of term rewriting systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4560356)