Grumberg / Kaminski / Katz | Languages: From Formal to Natural | Buch | 978-3-642-01747-6 | sack.de

Buch, Englisch, Band 5533, 245 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 365 g

Reihe: Lecture Notes in Computer Science

Grumberg / Kaminski / Katz

Languages: From Formal to Natural

Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Erscheinungsjahr 2009
ISBN: 978-3-642-01747-6
Verlag: Springer

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

Buch, Englisch, Band 5533, 245 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 365 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-01747-6
Verlag: Springer


The symposium “Languages: From Formal to Natural,” celebrating the 65th birthday of Nissim Francez, was held on May 24–25, 2009 at the Technion, Haifa. The symposium consisted of two parts, a veri?cation day and a language day, and covered all areas of Nissim’s past and present research interests, areas which he has inspiringly in?uenced and to which he has contributed so much. This volume comprises severalpapers presentedat the symposium, as wellas additional articles that were contributed by Nissim’s friends and colleagues who were unable to attend the event. We thank the authors for their contributions. Wearealsogratefultothereviewersfor their dedicated and timely work. Nissim Francez was born on January 19, 1944. In 1962 he started his mat- matical education at the Hebrew University. He received a BSc in Mathematics in 1965, and, after four years of military service, started his MSc studies in Computer Science at the Weizmann Institute of Science under the supervision of Amir Pnueli. After completing the MSc program in 1971, Nissim continued his studies toward a PhD, again, at the Weizmann Institute of Science and, again, under the supervisionof Amir Pnueli. Nissim wasawardeda PhDin Computer Science in 1976.

Grumberg / Kaminski / Katz Languages: From Formal to Natural jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.