Learnability of Term Rewrite Systems from Positive Examples

M. R. K. Krishna Rao. Learnability of Term Rewrite Systems from Positive Examples. In Joachim Gudmundsson, C. Barry Jay, editors, Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings. Volume 51 of CRPIT, pages 133-137, Australian Computer Society, 2006. [doi]

Abstract

Abstract is missing.