• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Gerald Whitters, Vivek Nigam, and Carolyn L. Talcott. Incremental Rewriting Modulo SMT. In Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 560–576, Lecture Notes in Computer Science 14132, Springer, 2023.
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@inproceedings{whitters23cade,
author = {Gerald Whitters and
Vivek Nigam and
Carolyn L. Talcott},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Incremental Rewriting Modulo {SMT}},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {560--576},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_32},
doi = {10.1007/978-3-031-38499-8\_32},
timestamp = {Tue, 12 Sep 2023 07:57:20 +0200},
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/cade23.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57