Format:
1 Online-Ressource (IX, 392 S.)
ISBN:
3540581405
,
0387581405
Series Statement:
Lecture notes in computer science 813
Language:
English
Subjects:
Computer Science
Keywords:
Theoretische Informatik
;
Logik
;
Informatik
;
Mathematische Logik
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/3-540-58140-5
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Author information:
Nerode, Anil 1932-