Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Paperback) (ISBN-13: 9783642017476)

Languages: From Formal to Natural.- Modular Verification of Recursive Programs.- Semi-formal Evaluation of Conversational Characters.- Scope Dominance with Generalized Quantifiers.- Nonassociative Lambek Calculus with Additives and Context-Free Languages.- On Lazy Commutation.- Aspect Oriented Approach for Capturing and Verifying Distributed Properties.- No i-Sums for Nissim (and Shalom).- The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata.- Modular Verification of Strongly Invasive Aspects.- Classes of Service under Perfect Competition and Technological Change.- On the Ontological Nature of Syntactic Categories in Categorial Grammar.- Masking Gateway for Enterprises.- No Syllogisms for the Numerical Syllogistic.- Formal Grammars of Early Language.- Hybrid BDD and All-SAT Method for Model Checking.

Author: Orna Grumberg
ISBN-10: 3642017479
ISBN-13: 9783642017476
Publisher: Springer
Language: English
Published: 05/12/2009
Pages: 245
Format: Paperback
Weight: 0.90lbs
Size: 9.20h x 6.10w x 0.60d