| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{ChaudhuriSankaranar-RegularRealAnalysis,
author = {Swarat Chaudhuri and Sriram Sankaranarayanan and Moshe Y. Vardi},
title = {Regular Real Analysis},
booktitle = {Proceedings of the Twenty-Eighth Annual IEEE Symposium on Logic in Computer Science (LICS 2013)},
year = {2013},
month = {June},
pages = {509--518},
location = {New Orleans, USA},
publisher = {IEEE Computer Society Press}
}