ISAR: An interactive system for algebraic implementation proofs

  • Bernhard Bauer
  • Rolf Hennicker
System Descriptions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 624)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    B. Bauer: Ein interaktives System für algebraische Implementierungsbeweise. Diplomarbeit, Fakultät für Mathematik und Informatik, Universität Passau, 1992.Google Scholar
  2. 2.
    H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Science 6, Springer, Berlin, 1985.Google Scholar
  3. 3.
    U. Fraus, H. Hußmann: An inductive theorem prover based on narrowing. Proc. LPAR '92, Logic Programming and Automated Reasoning, Lecture Notes in Artificial Intelligence, Springer, 1992.Google Scholar
  4. 4.
    R. Hennicker: Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects of Computing, 3 (4), 1991.Google Scholar
  5. 5.
    R. Hennicker: A semi-algorithm for algebraic implementation proofs. Technical Report MIP-9108, Univ. Passau, 1991. Ext. version to appear in: Theoretical Computer Science, 104, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Bernhard Bauer
    • 1
  • Rolf Hennicker
    • 1
  1. 1.Inst. für InformatikLudwig-Maximilians Universität MünchenMünchen

Personalised recommendations