FO-Definable Transformations of Infinite Strings Conference Proceeding

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• January 1, 2016

Date in CU Experts

• February 1, 2017 8:34 AM

Full Author List

• Dave V; Krishna SN; Trivedi A

author count

• 3

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.4230/lipics.fsttcs.2016.12

Additional Document Info

start page

• 12:1

end page

• 12:14