Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 7 bis 8 von 8
  1. 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, …

  2. 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 …