Instantiation of Existentially Quantified Variables in Inductive Specification Proofs

Authors:
Brigitte Pientka;Christoph Kreitz
Affiliations:
-;-
Venue:
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Year:
1998

Citing 0
Cited 3

Automated Fast-Track Reconfiguration of Group Communication Systems

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)
Automation for Dependently Typed Functional Programming

Fundamenta Informaticae - Dependently Typed Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract