W. Reif, G. Schellhorn, and K. Stenzel. Tactics in KIV. In J. Kunze and H. Stoyan, editor, KI-94 Workshops, pages 264--265. GI e.V., 1994. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
IGLOO - A Graphic Supported Proof Development System - Feibel (Correct)
....means because their demand on completeness is often contradicting the requests of systems with real time behaviour. The paradigm of tactical theorem proving offers a way to implement specifically tuned proof strategies without losing the provable correctness of the results (see [DKR94, Nip94, RSS94, Biu94] The implementation of Igloo, an interactive, graphic supported proof development system for sequent calculi, aimed for the realization of a valuable support for designers of such proof strategies by providing help in developing proof tactics. Furthermore it should support the ....
W. Reif, G. Schellhorn, and K. Stenzel. Tactics in KIV. In J. Kunze and H. Stoyan, editor, KI-94 Workshops, pages 264--265. GI e.V., 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC