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...
|Corporate Author:||SpringerLink (Online service)|
|Other Authors:||Blass, Andreas., Dershowitz, Nachum., Reisig, Wolfgang.|
Berlin, Heidelberg :
Springer Berlin Heidelberg,
Lecture Notes in Computer Science,
No Tags, Be the first to tag this record!