Logical foundations of computer science
Subtitle: third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
By: A. Nerode, Yu.V. Matiyasevich, eds.
Contributors: Nerode, Anil, 1932-; Matii͡a︡sevich, I͡U︡. V.
Series: Lecture notes in computer science ;; 813
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 392
Subjects: Computer science -- Congresses; Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references.