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

Projects

Publications

People

Downloads

Project Tuva Enhanced Video Player

Watch the Feynman Lectures

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

K. Rustan M. Leino, Madanlal Musuvathi, and Xinmin Ou
April 2005

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

Type:

Proceedings