Reference

2013
Regular Real Analysis
Swarat Chaudhuri, Sriram Sankaranarayanan, and Moshe Vardi
LICS 2013: IEEE Symposium on Logic in Computer Science

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},
}