scientific article
From MaRDI portal
Publication:3335771
zbMath0545.03026MaRDI QIDQ3335771
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
domainscomputabilityindex setscpoeffective complete partial orderrecursively enumerable inseparability
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of numerations, effectively presented structures (03D45)
Related Items (4)
Rice’s Theorem in Effectively Enumerable Topological Spaces ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Effective inseparability in a topological setting ⋮ Computable elements and functions in effectively enumerable topological spaces
This page was built for publication:
