Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF

“Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF” by Aaron Stump, Clark W. Barrett, and David L. Dill. In Proceedings of the 3^rd International Workshop on Logical Frameworks and Meta-Languages (LFM '02), (Frank Pfenning, ed.), July 2002, pp. 29-41. Copenhagen, Denmark.

BibTeX entry:

@inproceedings{SBD02b,
   author = {Aaron Stump and Clark W. Barrett and David L. Dill},
   editor = {Frank Pfenning},
   title = {Producing Proofs from an Arithmetic Decision Procedure in
	Elliptical {LF}},
   booktitle = {Proceedings of the {\it 3^{rd}} International Workshop on
	Logical Frameworks and Meta-Languages (LFM '02)},
   series = {Electronic Notes in Theoretical Computer Science},
   volume = {70(2)},
   pages = {29--41},
   publisher = {Elsevier},
   month = jul,
   year = {2002},
   note = {Copenhagen, Denmark},
   url = {http://theory.stanford.edu/~barrett/pubs/SBD02b.pdf}
}

(This webpage was created with bibtex2web.)