Inductive Inference of Term Rewriting Systems from Positive Data.

M. R. K. Krishna Rao

Published in: ALT (2004)

Keyphrases

term rewriting systems
inductive inference
positive data
grammatical inference
languages from positive data
pattern languages
recursive functions
logic programs
functional programs
regular languages
context free
context free languages
vc dimension
positive examples