Abstract is missing.
- Modular Verification of Recursive ProgramsKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog. 1-21 [doi]
- Semi-formal Evaluation of Conversational CharactersRon Artstein, Sudeep Gandhe, Jillian Gerten, Anton Leuski, David R. Traum. 22-35 [doi]
- Scope Dominance with Generalized QuantifiersGilad Ben-Avi, Yoad Winter. 36-44 [doi]
- Nonassociative Lambek Calculus with Additives and Context-Free LanguagesWojciech Buszkowski, Maciej Farulewski. 45-58 [doi]
- On Lazy CommutationNachum Dershowitz. 59-82 [doi]
- Aspect Oriented Approach for Capturing and Verifying Distributed PropertiesTzilla Elrad. 83-96 [doi]
- No i-Sums for Nissim (and Shalom)Itamar Francez. 97-106 [doi]
- The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown AutomataYulia Dubov, Michael Kaminski. 107-127 [doi]
- Modular Verification of Strongly Invasive AspectsEmilia Katz, Shmuel Katz. 128-147 [doi]
- Classes of Service under Perfect Competition and Technological ChangeDaniel Lehmann. 148-169 [doi]
- On the Ontological Nature of Syntactic Categories in Categorial GrammarRani Nelken. 170-176 [doi]
- Masking Gateway for EnterprisesSara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament, Haim Nelken. 177-191 [doi]
- No Syllogisms for the Numerical SyllogisticIan Pratt-Hartmann. 192-203 [doi]
- Formal Grammars of Early LanguageShuly Wintner, Alon Lavie, Brian MacWhinney. 204-227 [doi]
- Hybrid BDD and All-SAT Method for Model CheckingAvi Yadgar, Orna Grumberg, Assaf Schuster. 228-244 [doi]