Regular Real Analysis

DOI10.1109/LICS.2013.57MaRDI QIDQ5271088zbMATH OpenOpenAlexWikidataFDO

Authors Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi

Publication date 3 July 2017

Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/lics.2013.57

zbMATH Keywords

automatadecision proceduresreal analysis

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Computation over the reals, computable analysis (03D78)

Recommendations

• scientific article; zbMATH DE number 5122952
• scientific article; zbMATH DE number 1589757
• scientific article; zbMATH DE number 5080396
• Real analysis
• scientific article; zbMATH DE number 3920828
• Real analysis
• Real analysis
• Real Analysis
• scientific article; zbMATH DE number 45441

Cited in

(10)

• Decidability problems for meta-\(R\)-functions
• Computable analysis and classification problems
• Regular model checking with regular relations
• Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
• The \(p\)-adic theory of automata functions
• scientific article; zbMATH DE number 7559499 (Why is no real title available?)
• Synthesis of computable regular functions of infinite words
• scientific article; zbMATH DE number 7577577 (Why is no real title available?)
• scientific article; zbMATH DE number 7168153 (Why is no real title available?)
• Computable classifications of continuous, transducer, and regular functions

This page was built for publication: Regular Real Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5271088)