Fundamental problems in computing essays in honor of Professor Daniel J. Rosenkrantz - Ravi, S. S.; Shukla, Sandeep K.; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2009)
Keywords: Computer science; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Computer Science; Logic Design