مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

2179180

Title :

Halting space-bounded computations

Author :

Sipser, Michael

fYear :

1978

fDate :

16-18 Oct. 1978

Firstpage :

Lastpage :

Keywords :

Automata; Computational modeling; Computer science; Magnetic heads; Tree graphs; Turing machines;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Foundations of Computer Science, 1978., 19th Annual Symposium on

Conference_Location :

Ann Arbor, MI, USA

ISSN :

0272-5428

Type :

conf

DOI :

10.1109/SFCS.1978.18

Filename :

4567964

Link To Document :