Regular Real Analysis Conference Proceeding

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• June 25, 2013

has restriction

• closed

Date in CU Experts

• January 29, 2016 1:53 AM

Full Author List

• Chaudhuri S; Sankaranarayanan S; Vardi MY

author count

• 3

citation count

• 9

published in

• Proceedings - Symposium on Logic in Computer Science  Journal

presented at event

• 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 1043-6871

Digital Object Identifier (DOI)

• https://doi.org/10.1109/lics.2013.57

Additional Document Info

start page

• 509

end page

• 518