Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Lecture Notes in Computer Science)

Nerode, Anil [Editor]; Taitslin, Mikhail [Editor];

ISBN 10: 3540557075 / ISBN 13: 9783540557074

Published by Springer, 1992

About this Item

0387557075 Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-1943

Bibliographic Details

Title: Logical Foundations of Computer Science - ...

Publisher: Springer

Publication Date: 1992

Binding: Paperback

Condition: Very Good

About this title

Synopsis:

This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science.