Skip to main content Skip to main navigation



Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 1 to 8 of 8.
  1. Gregor Erbach

    Textverarbeitungsprogramme - heute und morgen

    KMI Bürowirtschaft Lehre und Praxis, Winklers Verlag, Darmstadt, 1986.

  2. Using Resolution and Paramodulation for Induction Proofs

    In: C.-R. Rollinger; W. Horn (Hrsg.). Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86), …

  3. Verwendung von Induktionshypothesen in Induktionsbeweisen

    In: U. Furbach; M. Heisel; W. Reif; W. Stephan (Hrsg.). Workshop: Verification, Construction and Synthesis of Programs. Workshop on Verification, …

  4. Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther

    The Karlsruhe Induction Theorem Proving System

    In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated …

  5. Hans-Jürgen Bürckert

    Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine

    In: Claus-Rainer Rollinger; Werner Horn (Hrsg.). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische …

  6. Hans-Jürgen Bürckert

    Some relationship Between Unification, Restricted Unification, and Matching

    In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated …

  7. Hans-Jürgen Bürckert; Alexander Herold

    Unifikation. Aktuelles Schlagwort.

    In: Informatik Spektrum, Vol. 9, No. 3, Pages 186-187, Springer, 1986.

  8. Hans-Jürgen Bürckert

    Some relationships between Unification, Restricted Unification, and Matching

    Universität Kaiserslautern, SEKI Report, Vol. SR-86-07, 1986.