Grumberg, Orna.
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / [electronic resource] : edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5533 0302-9743 ; . - Lecture Notes in Computer Science, 5533 .
9783642017483
10.1007/978-3-642-01748-3 doi
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.
QA8.9-QA10.3
005.131
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / [electronic resource] : edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5533 0302-9743 ; . - Lecture Notes in Computer Science, 5533 .
9783642017483
10.1007/978-3-642-01748-3 doi
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.
QA8.9-QA10.3
005.131