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
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!