مرکز منطقه ای اطلاع رساني علوم و فناوري - From the church-turing thesis to the first-order algorithm theorem

DocumentCode :

2221832

Title :

From the church-turing thesis to the first-order algorithm theorem

Author :

Kripke, Saul A.

Author_Institution :

The Hebrew University

fYear :

2000

fDate :

2000

Firstpage :

177

Lastpage :

177

Keywords :

Computer science; Concurrent computing; Logic; Parallel processing;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on

ISSN :

1043-6871

Print_ISBN :

0-7695-0725-5

Type :

conf

DOI :

10.1109/LICS.2000.855766

Filename :

855766

Link To Document :