Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday - Grumberg, Orna.; Kaminski, Michael; Katz, Shmuel; Wintner, Shuly; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Information theory; Logic design; Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Logics and Meanings of Programs; Theory of Computation; Arithmetic and Logic Structures