Comparing proof systems for linear real arithmetic LFSC

Andrew Reynolds, Liana Hadarean, Cesare Tinelli, Yeting Ge, Aaron Stump, Clark Barrett

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10)
Place of PublicationEdinburgh, Scotland
StatePublished - 2010

Cite this

Reynolds, A., Hadarean, L., Tinelli, C., Ge, Y., Stump, A., & Barrett, C. (2010). Comparing proof systems for linear real arithmetic LFSC. In Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10) Edinburgh, Scotland.

Comparing proof systems for linear real arithmetic LFSC. / Reynolds, Andrew; Hadarean, Liana; Tinelli, Cesare; Ge, Yeting; Stump, Aaron; Barrett, Clark.

Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10). Edinburgh, Scotland, 2010.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reynolds, A, Hadarean, L, Tinelli, C, Ge, Y, Stump, A & Barrett, C 2010, Comparing proof systems for linear real arithmetic LFSC. in Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10). Edinburgh, Scotland.
Reynolds A, Hadarean L, Tinelli C, Ge Y, Stump A, Barrett C. Comparing proof systems for linear real arithmetic LFSC. In Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10). Edinburgh, Scotland. 2010
Reynolds, Andrew ; Hadarean, Liana ; Tinelli, Cesare ; Ge, Yeting ; Stump, Aaron ; Barrett, Clark. / Comparing proof systems for linear real arithmetic LFSC. Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10). Edinburgh, Scotland, 2010.
@inproceedings{9426de708cd44d47adcd1190738989b2,
title = "Comparing proof systems for linear real arithmetic LFSC",
author = "Andrew Reynolds and Liana Hadarean and Cesare Tinelli and Yeting Ge and Aaron Stump and Clark Barrett",
year = "2010",
language = "English (US)",
booktitle = "Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10)",

}

TY - GEN

T1 - Comparing proof systems for linear real arithmetic LFSC

AU - Reynolds, Andrew

AU - Hadarean, Liana

AU - Tinelli, Cesare

AU - Ge, Yeting

AU - Stump, Aaron

AU - Barrett, Clark

PY - 2010

Y1 - 2010

M3 - Conference contribution

BT - Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10)

CY - Edinburgh, Scotland

ER -