© 2014

Language, Culture, Computation. Computing - Theory and Technology

Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

  • Nachum Dershowitz
  • Ephraim Nissan

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8001)

Table of contents

  1. Front Matter
  2. The Jubilarian: Yaacov and His Oeuvre

  3. Theory of Computation

    1. Moshe Y. Vardi
      Pages 78-102
    2. Howard Barringer, David Rydeheard, Dov Gabbay
      Pages 103-155
    3. David Harel, Amir Kantor
      Pages 156-167
    4. D. Peleg
      Pages 168-179
    5. Efrat Manistersky, Raz Lin, Sarit Kraus
      Pages 180-196
    6. Edward M. Reingold
      Pages 213-224
  4. Science Computing and Tools for Engineering

  5. Information Retrieval

    1. Amihood Amir, Moshe Lewenstein, Noa Lewenstein
      Pages 364-381
    2. Judit Bar-Ilan
      Pages 382-394
    3. Yaacov Choueka, Nachum Dershowitz, Liad Tal
      Pages 395-398
    4. Ronen Feldman, Moshe Fresko, Jacob Goldenberg, Oded Netzer, Lyle Ungar
      Pages 399-408

About this book


This Jubilee set of three volumes constitutes a condign tribute to Yaacov Choueka, a computer scientist, mathematician, computational linguist, and lexicographer: he is one of the founders of the fields of full-text information retrieval, computational linguistics, humanities computing, and legal databases. The three volumes (LNCS 8001–8003) comprise 61 chapters, and are each devoted to a broad theme. The focus of the first is computing, its theory, techniques, and applications to science or engineering; of the second - how computing serves the humanities, law, or narratives; of the third: linguistics, computational linguistics, and ontologies.
The present first volume, Computing - Theory and Technology, contains 22 chapters, clustered around the themes: The Jubilarian: Yaacov and his Oeuvre, Theory of Computation, Science Computing and Tools for Engineering, and Information Retrieval.


artificial intelligence formal methods knowledge engineering natural language processing ontologies

Editors and affiliations

  • Nachum Dershowitz
    • 1
  • Ephraim Nissan
    • 2
  1. 1.School of Computer ScienceTel Aviv UniversityTel AvivIsrael
  2. 2.Department of ComputingUniversity of London, Goldsmiths CollegeUK

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences