Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei Regular functions and cost register automata (invited paper). (English) Zbl 1366.68046 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 13-22 (2013). Cited in 1 ReviewCited in 15 Documents MSC: 68Q05 Models of computation (Turing machines, etc.) (MSC2010) 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) 68Q45 Formal languages and automata PDF BibTeX XML Cite \textit{R. Alur} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 13--22 (2013; Zbl 1366.68046) Full Text: DOI