Paper: On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields (at LICS 2019)
Authors: Florent Guépin Christoph Haase James Worrell
Abstract
No Abstract Available
BibTeX
@InProceedings{GupinHaaseWorrell-OntheExistentialThe, author = {Florent Guépin and Christoph Haase and James Worrell}, title = {On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields}, booktitle = {Proceedings of the Thirty fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2019)}, year = {2019}, month = {June}, pages = {1--10}, location = {Vancouver}, publisher = {IEEE Computer Society Press} }