Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 Proceedings

Front Cover
U.S. Government Printing Office, 1992 - Computers - 514 pages
0 Reviews
"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."--PUBLISHER'S WEBSITE.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Other editions - View all

About the author (1992)

Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.

Bibliographic information