Decidability problems for meta-R-functions

DOI10.1007/BF02366790MaRDI QIDQ1907768zbMATH OpenWikidataFDO

Authors L. P. Lisovik, P. V. Drobyshev

Publication date 27 March 1996

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02366790

zbMATH Keywords

\(R\)-transducersmetareal function

Mathematics Subject Classification ID

Recommendations

• Undecidability over Continuous Time
• Classe of functions defined by transducers
• Regular Real Analysis
• Another representation of finite transducers over real numbers
• Decidability in elementary analysis. I

Cites work

• Classe of functions defined by transducers
• scientific article; zbMATH DE number 3871350 (Why is no real title available?)
• scientific article; zbMATH DE number 3894494 (Why is no real title available?)
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• scientific article; zbMATH DE number 3372755 (Why is no real title available?)
• Operations on R-numbers

This page was built for publication: Decidability problems for meta-\(R\)-functions

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