You have Guest access.
Log In
Orna Grumberg, Michael Kaminski, Shmuel Katz and Shuly Wintner
Front matter
1-21
Modular Verification of Recursive Programs
22-35
Semi-formal Evaluation of Conversational Characters
36-44
Scope Dominance with Generalized Quantifiers
45-58
Nonassociative Lambek Calculus with Additives and Context-Free Languages
59-82
On Lazy Commutation
83-96
Aspect Oriented Approach for Capturing and Verifying Distributed Properties
97-106
No i-Sums for Nissim (and Shalom)
107-127
The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata
128-147
Modular Verification of Strongly Invasive Aspects
148-169
Classes of Service under Perfect Competition and Technological Change A Model for the Dynamics of the Internet?
170-176
On the Ontological Nature of Syntactic Categories in Categorial Grammar
177-191
Masking Gateway for Enterprises
192-203
No Syllogisms for the Numerical Syllogistic
204-227
Formal Grammars of Early Language
228-244
Hybrid BDD and All-SAT Method for Model Checking
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info