Preview
Unable to display preview. Download preview PDF.
References
D. Angluin, C.H. Smith, A survey of inductive inference: theory and methods, Computing Surveys 15 (1983) 3, pp.237–269.
J.M. Barzdin, Some rules of inductive inference and their use for program synthesis, Proc. IFIP 9th World Congress,Paris, 1983, R.E.A. Mason (ed.), North-Holland, 1983, pp. 333–336.
H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification1, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985
G. Huet, D. Oppen, Equations and Rewrite Rules: A Survey, in Formal Language Theory: Perspectives and Open Problems, R. Book (ed.) pp.349–405, Academic Press, New York, 1980.
H. Kirchner, Schematization of infinite sets of rewrite rules. Application to the divergence of completion processes, in Proc. Rewriting Techniques and Applications, P. Lescanne (ed.), Lecture Notes in Computer Science 256, Springer-Verlag, 1987, pp. 180–191.
Y. Kodratoff, Generalizing and particularising as the techniques of learning, Proc. 2nd Int. Symp. on Artif. Intell. and Inf. Control Systems of Robots, Smolenice, Czech., I. Plander (ed.), North-Holland,1982, pp. 131–134.
D. E. Knuth, P. B. Bendix, Simple Word Problems in Universal Algebras, Computational Algebra, J. Leach (ed.), Pergammon Press 1970.
St. Lange, A decidability problem of Church-Rosser specifications for program synthesis, Proc. Analogical and Inductive Inference, Wendisch-Rietz, GDR, K.P. Jantke (ed.), Lecture Notes in Computer Science 265, Springer-Verlag, 1987, pp.105–124.
G.D Plotkin, Automatic Methods of Inductive Inference, Ph.D. Thesis, Edinburgh University, 1971.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thomas, M., Jantke, K.P. (1989). Inductive inference for solving divergence in Knuth-Bendix completion. In: Jantke, K.P. (eds) Analogical and Inductive Inference. AII 1989. Lecture Notes in Computer Science, vol 397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51734-0_69
Download citation
DOI: https://doi.org/10.1007/3-540-51734-0_69
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51734-4
Online ISBN: 978-3-540-46798-4
eBook Packages: Springer Book Archive