Home > Logical Foundations of Computer Science: Third International Symposium, LFCS ' 94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Logical Foundations of Computer Science: Third International Symposium, LFCS ' 94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Book Informaton
Author
Anil Nerode; Yu.V. Matiyasevich
Series
Lecture Notes in Computer Science
Volume
813
Year of Publication
1994
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XI, 397
Language
EN
ISBN
9783540581406, 9783540484424, 3540581405, 0387581405
ARI Id
1664783131697
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 37 entries
Chapters/Headings | Author(s) | Pages | Info |
1-7 | |||
8-17 | |||
18-22 | |||
23-33 | |||
34-46 | |||
47-55 | |||
56-68 | |||
69-80 | |||
81-88 | |||
89-100 | |||
101-113 | |||
114-128 | |||
129-139 | |||
140-141 | |||
142-152 | |||
153-163 | |||
164-172 | |||
173-183 | |||
184-190 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 37 entries