65. Birthday: Nissim Francez 2009
Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (Eds.): Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-01747-6- Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. 1-21
- Ron Artstein, Sudeep Gandhe, Jillian Gerten, Anton Leuski, David R. Traum: Semi-formal Evaluation of Conversational Characters. 22-35
- Wojciech Buszkowski, Maciej Farulewski: Nonassociative Lambek Calculus with Additives and Context-Free Languages. 45-58
- Nachum Dershowitz: On Lazy Commutation. 59-82
- Tzilla Elrad: Aspect Oriented Approach for Capturing and Verifying Distributed Properties. 83-96
- Itamar Francez: No i-Sums for Nissim (and Shalom). 97-106
- Yulia Dubov, Michael Kaminski: The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata. 107-127
- Daniel Lehmann: Classes of Service under Perfect Competition and Technological Change. 148-169
- Rani Nelken: On the Ontological Nature of Syntactic Categories in Categorial Grammar. 170-176
- Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament, Haim Nelken: Masking Gateway for Enterprises. 177-191
- Ian Pratt-Hartmann: No Syllogisms for the Numerical Syllogistic. 192-203
- Avi Yadgar, Orna Grumberg, Assaf Schuster: Hybrid BDD and All-SAT Method for Model Checking. 228-244
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team