LEADER 04533nam 22007335 450 001 996466264503316 005 20200702024425.0 010 $a3-642-01748-7 024 7 $a10.1007/978-3-642-01748-3 035 $a(CKB)1000000000746051 035 $a(SSID)ssj0000318615 035 $a(PQKBManifestationID)11265204 035 $a(PQKBTitleCode)TC0000318615 035 $a(PQKBWorkID)10310621 035 $a(PQKB)10736477 035 $a(DE-He213)978-3-642-01748-3 035 $a(MiAaPQ)EBC3064232 035 $a(PPN)13630107X 035 $a(EXLCZ)991000000000746051 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLanguages: From Formal to Natural$b[electronic resource] $eEssays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /$fedited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 245 p.) 225 1 $aProgramming and Software Engineering ;$v5533 300 $aFestschrift. 300 $aInternational conference proceedings. 311 $a3-642-01747-9 320 $aIncludes bibliographical references and index. 327 $aLanguages: 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. 330 $aThis Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel. The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research. 410 0$aProgramming and Software Engineering ;$v5533 606 $aMathematical logic 606 $aComputer logic 606 $aComputers 606 $aArithmetic and logic units, Computer 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aArithmetic and Logic Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I12026 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aComputers. 615 0$aArithmetic and logic units, Computer. 615 14$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 615 24$aLogics and Meanings of Programs. 615 24$aTheory of Computation. 615 24$aArithmetic and Logic Structures. 676 $a005.131 702 $aGrumberg$b Orna$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKaminski$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKatz$b Shmuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWintner$b Shuly$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466264503316 996 $aLanguages: From Formal to Natural$9774172 997 $aUNISA