Skip to main content Skip to main navigation

Publications

Displaying results 7 to 8 of 8.
  1. 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), …

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