Old Web
English
Sign In
Acemap
>
Paper
>
Turing's Legacy: Transfinite machine models
Turing's Legacy: Transfinite machine models
2014
P. D. Welch
Keywords:
Computational logic
Turing machine
Turing
Predicate functor logic
Algorithm
Dynamic logic (modal logic)
Signature (logic)
Transfinite number
Horn clause
Mathematics
Computer science
Algebra
Predicate logic
Higher-order logic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
52
References
8
Citations
NaN
KQI
[]