Advertisement

Towards a set of inference rules for solving divergence in Knuth-Bendix completion

  • Steffen Lange
Submitted Papers Inductive Inference II
Part of the Lecture Notes in Computer Science book series (LNCS, volume 397)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. Literature

  1. [Angluin/Smith]
    D. Angluin, C.H. Smith, Inductive Inference: Theory and Methods, Computing Surveys 15 (1983)Google Scholar
  2. [Ehrig/Mahr]
    H. Ehrig, B. Mahr, Fundamentals of Algebraic Specifications, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985Google Scholar
  3. [Huet/Oppen]
    G. Huet, D. Oppen, Equations and Rewrite Rules: A Survey, in: Formal Language Theory: Perspectives and Open Problems, R. Book (ed.), Academic Press, New York, 1980Google Scholar
  4. [Thomas/Jantke]
    M. Thomas,K.P. Jantke, Inductive Inference for Solving Divergence in Knuth-Bendix Completion, included in the same volumeGoogle Scholar
  5. [Knuth/Bendix]
    D.E. Knuth, P.B. Bendix, Simple Word Problems in Universal Algebra, in: Computational Algebra, J. Leach (ed.), Pergamon Press, 1970Google Scholar
  6. [Lange]
    St.Lange, On the Correctness of Inference Rules for Solving Divergence in Knuth-Bendix Completion, Technical Report (in preparation)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Steffen Lange
    • 1
  1. 1.Dept. of Mathematics and InformaticsLeipzig University of TechnologyLeipzigGDR

Personalised recommendations