Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities

Emanuel Kitzelmann, Ute Schmid. Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. Electronic Notes in Theoretical Computer Science, 174(1):49-63, 2007. [doi]

Abstract

Abstract is missing.