Skip to main content
SpringerLink
Log in

Pillars of Computer Science

Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

  • Book
  • © 2008

Overview

Editors:
  1. Arnon Avron
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nachum Dershowitz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alexander Rabinovich
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 chapters)

  1. Front Matter

    Download chapter PDF

  2. From Logic to Theoretical Computer Science – An Update

    • Boris A. Trakhtenbrot
    Pages 1-38

  3. Reminiscences

    • Albert R. Meyer
    Pages 39-45

  4. Boris A. Trakhtenbrot: Academic Genealogy and Publications

    • Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
    Pages 46-57

  5. Symmetric Logic of Proofs

    • Sergei Artemov
    Pages 58-71

  6. Synthesis of Monitors for Real-Time Analysis of Reactive Systems

    • Mikhail Auguston, Mark Trakhtenbrot
    Pages 72-86

  7. A Framework for Formalizing Set Theories Based on the Use of Static Set Terms

    • Arnon Avron
    Pages 87-106

  8. Effective Finite-Valued Approximations of General Propositional Logics

    • Matthias Baaz, Richard Zach
    Pages 107-129

  9. Model Transformation Languages and Their Implementation by Bootstrapping Method

    • Janis Barzdins, Audris Kalnins, Edgars Rencis, Sergejs Rikacovs
    Pages 130-145

  10. Modal Fixed-Point Logic and Changing Models

    • Johan van Benthem, Daisuke Ikegami
    Pages 146-165

  11. Fields, Meadows and Abstract Data Types

    • Jan Bergstra, Yoram Hirshfeld, John Tucker
    Pages 166-178

  12. Why Sets?

    • Andreas Blass
    Pages 179-198

  13. The Church-Turing Thesis over Arbitrary Domains

    • Udi Boker, Nachum Dershowitz
    Pages 199-229

  14. Generalized Categorial Dependency Grammars

    • Michael Dekhtyar, Alexander Dikovsky
    Pages 230-255

  15. Temporal Verification of Probabilistic Multi-Agent Systems

    • Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
    Pages 256-265

  16. Linear Recurrence Relations for Graph Polynomials

    • Eldar Fischer, Johann A. Makowsky
    Pages 266-279

  17. Artin’s Conjecture and Size of Finite Probabilistic Automata

    • RÅ«siņš Freivalds
    Pages 280-291

  18. Introducing Reactive Kripke Semantics and Arc Accessibility

    • Dov M. Gabbay
    Pages 292-341

  19. On Partially Wellfounded Generic Ultrapowers

    • Moti Gitik, Menachem Magidor
    Pages 342-350

  20. Some Results on the Expressive Power and Complexity of LSCs

    • David Harel, Shahar Maoz, Itai Segall
    Pages 351-366
Back to top

Keywords

Reviews

From the reviews:

"This festschrift is dedicated to Boris Trakhtenbrot on the occasion of his 85th birthday. … The volume covers a wide variety of papers on logic and the foundations of theoretical computer science, written by top people in the field. It is certainly worth acquiring for a library." (K. Lodaya, ACM Computing Reviews, January, 2009)

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation