Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5533)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 chapters)
-
Front Matter
-
Languages: From Formal to Natural
-
Back Matter
About this book
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.
Reviews
Editors and Affiliations
-
Computer Science Department, TECHNION - Israel Institute of Technology, Technion City, Israel
Orna Grumberg
-
Department of Computer Science, Technion, Israel Institute of Technology, Haifa, Israel
Michael Kaminski
-
Department of Computer Science, The Technion, Haifa, Israel
Shmuel Katz
-
Department of Computer Science, University of Haifa, Israel
Shuly Wintner
Bibliographic Information
Book Title: Languages: From Formal to Natural
Book Subtitle: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Editors: Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-01748-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-01747-6Published: 12 May 2009
eBook ISBN: 978-3-642-01748-3Published: 22 May 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 245
Topics: Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Logics and Meanings of Programs, Theory of Computation, Arithmetic and Logic Structures