ENGLISH

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

By Orna Grumberg , Krzysztof R. Apt , Frank S. de Boer , Ernst-Rüdiger Olderog (auth.) , Michael Kaminski , Shmuel Katz , Shuly Wintner (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2009
ISBN
3642017479, 9783642017476
DOI
10.1007/978-3-642-01748-3
Language
english
Format
PDF
Filesize
4 MB (3806844 bytes)
Series
Lecture Notes in Computer Science 5533 : Programming and Software Engineering
Edition
1
Pages
245\253
Library
Kolxo3
Time added
2011-07-22 07:35:22
Mathematical Logic and Formal Languages; Mathemati

Description

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.

Similar books