Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, nr. 5533)

Editat de Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner
Notă GoodReads:
en Limba Engleză Paperback – 12 May 2009

Din seria Lecture Notes in Computer Science

Preț: 32477 lei

Preț vechi: 40596 lei

Puncte Express: 487

Preț estimativ în valută:
6251 6613$ 5261£

Carte tipărită la comandă

Livrare economică 22 august-05 septembrie
Livrare express 14-22 iulie pentru 16940 lei

Preluare comenzi: 021 569.72.76


ISBN-13: 9783642017476
ISBN-10: 3642017479
Pagini: 245
Ilustrații: X, 245 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.41 kg
Ediția: 2009
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science , Programming and Software Engineering

Locul publicării: Berlin, Heidelberg, Germany

Public țintă



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.


From the reviews:“It includes a wide variety of papers on linguistics and the foundations of verification, written by top people in the field. This review only discusses the most interesting contributions. … On the linguistic side, I enjoyed reading Winter, Lavie, and MacWhinney’s paper, ’Formal grammars of early language,’ for its experimental approach to the development of grammar in child language development. … libraries should look to acquire this text for their collections.” (K. Lodaya, ACM Computing Reviews, March, 2010)

Textul de pe ultima copertă

This 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.