Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, fo...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Blass, Andreas., Dershowitz, Nachum., Reisig, Wolfgang.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series: Lecture Notes in Computer Science, 6300
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-15025-8
Tags: Add Tag
No Tags, Be the first to tag this record!