LEADER 03382nam  2200601Ia 450 
001 9910484476103321
005 20200520144314.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   $a20090522d2009      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aLanguages: from formal to natural $eessays dedicated to Nissim Francez on the occasion of his 65th birthday /$fOrna Grumberg ... [et al.] (eds.)
205   $a1st ed. 2009.
210   $aBerlin $cSpringer$d2009
215   $a1 online resource (X, 245 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v5533
225 1 $aFestschrift
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$aLecture notes in computer science.$pFestschrift.
410  0$aLecture notes in computer science ;$v5533.
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers)
676   $a005.131
701   $aFrancez$b Nissim$052174
701   $aGrumberg$b Orna$067499
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484476103321
996   $aLanguages: from formal to natural$94197847
997   $aUNINA