![]() |
Volumn 11, Issue 1, 2001, Pages 25-40
|
Revision sequences and computers with an infinite amount of time
a
|
Author keywords
Definability; Infinite time Turing machines; Revision theory of truth
|
Indexed keywords
COMPUTATION THEORY;
COMPUTATIONAL LINGUISTICS;
FUNCTIONS;
PROBLEM SOLVING;
SET THEORY;
INFINITE TIME TURING MACHINES;
REVISION THEORY OF TRUTH;
TURING MACHINES;
|
EID: 0035247497
PISSN: 0955792X
EISSN: None
Source Type: Journal
DOI: 10.1093/logcom/11.1.25 Document Type: Article |
Times cited : (20)
|
References (22)
|