Book Volume 5533 2009

Languages: From Formal to Natural

Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Editors:

ISBN: 978-3-642-01747-6 (Print) 978-3-642-01748-3 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages -

  2. Languages: From Formal to Natural

    1. No Access

      Chapter

      Pages 1-21

      Modular Verification of Recursive Programs

    2. No Access

      Chapter

      Pages 22-35

      Semi-formal Evaluation of Conversational Characters

    3. No Access

      Chapter

      Pages 36-44

      Scope Dominance with Generalized Quantifiers

    4. No Access

      Chapter

      Pages 45-58

      Nonassociative Lambek Calculus with Additives and Context-Free Languages

    5. No Access

      Chapter

      Pages 59-82

      On Lazy Commutation

    6. No Access

      Chapter

      Pages 83-96

      Aspect Oriented Approach for Capturing and Verifying Distributed Properties

    7. No Access

      Chapter

      Pages 97-106

      No i-Sums for Nissim (and Shalom)

    8. No Access

      Chapter

      Pages 107-127

      The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata

    9. No Access

      Chapter

      Pages 128-147

      Modular Verification of Strongly Invasive Aspects

    10. No Access

      Chapter

      Pages 148-169

      Classes of Service under Perfect Competition and Technological Change

    11. No Access

      Chapter

      Pages 170-176

      On the Ontological Nature of Syntactic Categories in Categorial Grammar

    12. No Access

      Chapter

      Pages 177-191

      Masking Gateway for Enterprises

    13. No Access

      Chapter

      Pages 192-203

      No Syllogisms for the Numerical Syllogistic

    14. No Access

      Chapter

      Pages 204-227

      Formal Grammars of Early Language

    15. No Access

      Chapter

      Pages 228-244

      Hybrid BDD and All-SAT Method for Model Checking

  3. Back Matter

    Pages -