Berechenbarkeit
DOI10.1007/978-3-658-31739-3zbMath1452.68002OpenAlexW3097520751MaRDI QIDQ5140866
Publication date: 17 December 2020
Published in: essentials (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-658-31739-3
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Undecidability and degrees of sets of sentences (03D35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Recursive functions and relations, subrecursive hierarchies (03D20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Turing machines and related notions (03D10) Thue and Post systems, etc. (03D03) Classical models of computation (Turing machines, etc.) (68Q04)
This page was built for publication: Berechenbarkeit
