Grumberg / Kaminski / Katz | Languages: From Formal to Natural | E-Book | sack.de
E-Book

E-Book, Englisch, Band 5533, 245 Seiten, eBook

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
2009
ISBN: 978-3-642-01748-3
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, Band 5533, 245 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-01748-3
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

Zielgruppe

Research

Autoren/Hrsg.

Grumberg, Orna
Kaminski, Michael
Katz, Shmuel
Wintner, Shuly

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.