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