Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
From MaRDI portal
Publication:2864518
DOI10.1016/j.entcs.2006.11.015zbMath1277.68058OpenAlexW2051217125MaRDI QIDQ2864518
Emanuel Kitzelmann, Ute Schmid
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.11.015
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
This page was built for publication: Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities