Zak Tonks. Evolutionary Virtual Term Substitution in a Quantifier Elimination System. In John Abbott, Alberto Griggio, editors, Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. Volume 2460 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
@inproceedings{Tonks19-0,
title = {Evolutionary Virtual Term Substitution in a Quantifier Elimination System},
author = {Zak Tonks},
year = {2019},
url = {http://ceur-ws.org/Vol-2460/paper7.pdf},
researchr = {https://researchr.org/publication/Tonks19-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019},
editor = {John Abbott and Alberto Griggio},
volume = {2460},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}