%0 Journal Article %1 journals/afp/CordwellTP21 %A Cordwell, Katherine %A Tan, Yong Kiam %A Platzer, André %D 2021 %J Arch. Formal Proofs %K dblp %T The BKR Decision Procedure for Univariate Real Arithmetic. %U http://dblp.uni-trier.de/db/journals/afp/afp2021.html#CordwellTP21 %V 2021

@article{journals/afp/CordwellTP21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Cordwell, Katherine and Tan, Yong Kiam and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/2f5f078b696c6885fe5b98b75d583843e/dblp}, ee = {https://www.isa-afp.org/entries/BenOr_Kozen_Reif.html}, interhash = {5d7b2d689fe7fcef6b8b0d0f04503d23}, intrahash = {f5f078b696c6885fe5b98b75d583843e}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2024-04-09T04:37:02.000+0200}, title = {The BKR Decision Procedure for Univariate Real Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2021.html#CordwellTP21}, volume = 2021, year = 2021 }