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
    5. Nachum Dershowitz, Andrey Rosenberg
      Pages 584-602
  6. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-45320-5
  • Online ISBN 978-3-642-45321-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences