메뉴 건너뛰기




Volumn 11, Issue 1, 2001, Pages 25-40

Revision sequences and computers with an infinite amount of time

Author keywords

Definability; Infinite time Turing machines; Revision theory of truth

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; FUNCTIONS; PROBLEM SOLVING; SET THEORY;

EID: 0035247497     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/11.1.25     Document Type: Article
Times cited : (20)

References (22)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.