Regular Real Analysis
Reference
Abstract
BibTeX
@string{LICS = "IEEE Symposium on Logic in Computer Science (LICS)"} @inproceedings{automata-lics13, author = {Swarat Chaudhuri and Sriram Sankaranarayanan and Moshe Vardi}, title = {Regular Real Analysis}, booktitle = LICS, year = {2013}, }