Paper: Efficient Representation and Validation of Proofs (at LICS 1998)
Authors: George C. Necula Peter LeeAbstract
No Abstract Available
BibTeX
@InProceedings{NeculaLee-EfficientRepresenta, author = {George C. Necula and Peter Lee}, title = {Efficient Representation and Validation of Proofs}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {93-104}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }