Inproceedings,
LFSC for SMT Proofs: Work in Progress.
A. Stump, A. Reynolds, C. Tinelli, A. Laugesen, H. III, C. Oliver, and R. Zhang.PxTP, volume 878 of CEUR Workshop Proceedings, page 21-27. CEUR-WS.org, (2012)
Meta data
- BibTeX key
- conf/pxtp/StumpRTLEOZ12
- entry type
- inproceedings
- booktitle
- PxTP
- year
- 2012
- pages
- 21-27
- publisher
- CEUR-WS.org
- series
- CEUR Workshop Proceedings
- volume
- 878
- crossref
- conf/pxtp/2012
- ee
- https://ceur-ws.org/Vol-878/paper1.pdf
- url
- http://dblp.uni-trier.de/db/conf/pxtp/pxtp2012.html#StumpRTLEOZ12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pxtp/StumpRTLEOZ12
%A Stump, Aaron
%A Reynolds, Andrew
%A Tinelli, Cesare
%A Laugesen, Austin
%A III, Harley Eades
%A Oliver, Corey
%A Zhang, Ruoyu
%B PxTP
%D 2012
%E Pichardie, David
%E Weber, Tjark
%I CEUR-WS.org
%K dblp
%P 21-27
%T LFSC for SMT Proofs: Work in Progress.
%U http://dblp.uni-trier.de/db/conf/pxtp/pxtp2012.html#StumpRTLEOZ12
%V 878
@inproceedings{conf/pxtp/StumpRTLEOZ12,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Stump, Aaron and Reynolds, Andrew and Tinelli, Cesare and Laugesen, Austin and III, Harley Eades and Oliver, Corey and Zhang, Ruoyu},
biburl = {https://www.bibsonomy.org/bibtex/2722613353ae4a2bc23b46d3ed385d73b/dblp},
booktitle = {PxTP},
crossref = {conf/pxtp/2012},
editor = {Pichardie, David and Weber, Tjark},
ee = {https://ceur-ws.org/Vol-878/paper1.pdf},
interhash = {671686efab58a318122d53936be46af1},
intrahash = {722613353ae4a2bc23b46d3ed385d73b},
keywords = {dblp},
pages = {21-27},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-09T09:46:14.000+0200},
title = {LFSC for SMT Proofs: Work in Progress.},
url = {http://dblp.uni-trier.de/db/conf/pxtp/pxtp2012.html#StumpRTLEOZ12},
volume = 878,
year = 2012
}