scientific article; zbMATH DE number 6823182

zbMATH Open1377.68085MaRDI QIDQ4600393

Paulo Mateus

Publication date: 9 January 2018

Full work available at URL: http://revistas.rcaap.pt/boletimspm/article/view/3875

Title of this publication is not available (Why is that?)

zbMATH Keywords

programcomputable real numbercomputable functionundecidible problem

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Turing machines and related notions (03D10) Computation over the reals, computable analysis (03D78)

Related Items (2)

The DNF exception problem ⋮ Termination of processes

This page was built for publication:

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