- Tytuł :
- Computability theory
- Index Terms :
-
computability
recursion theory
Turing machine
undecidability
word problems
004: Informatik
510: Mathematik
ddc:004
ddc:510
Technical Reportdoc-type:report - URL :
-
http://dx.doi.org/10.15480/882.2897
http://hdl.handle.net/11420/7243 -
Zasób elektroniczny