-
SimonGuilloud authoredSimonGuilloud authored
biblio.bib 1.03 KiB
@inproceedings{DBLP:conf/tacas/GuilloudK22,
author = {Simon Guilloud and
Viktor Kuncak},
editor = {Dana Fisman and
Grigore Rosu},
title = {Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear
Time},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {196--214},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_11},
doi = {10.1007/978-3-030-99527-0\_11},
timestamp = {Fri, 29 Apr 2022 14:50:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GuilloudK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}