A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover

krml151.pdf
PDF file

In  in TACAS 2005: Eleventh Conference on Tools and Algorithms for the Construction and Analysis of Software

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeProceedings
> Publications > A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover