Advertisement

Pillars of Computer Science

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

  • Editors
  • Arnon Avron
  • Nachum Dershowitz
  • Alexander Rabinovich

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

Table of contents

  1. Front Matter
  2. Albert R. Meyer
    Pages 39-45
  3. Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
    Pages 46-57
  4. Sergei Artemov
    Pages 58-71
  5. Mikhail Auguston, Mark Trakhtenbrot
    Pages 72-86
  6. Janis Barzdins, Audris Kalnins, Edgars Rencis, Sergejs Rikacovs
    Pages 130-145
  7. Johan van Benthem, Daisuke Ikegami
    Pages 146-165
  8. Jan Bergstra, Yoram Hirshfeld, John Tucker
    Pages 166-178
  9. Andreas Blass
    Pages 179-198
  10. Udi Boker, Nachum Dershowitz
    Pages 199-229
  11. Michael Dekhtyar, Alexander Dikovsky
    Pages 230-255
  12. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
    Pages 256-265
  13. Eldar Fischer, Johann A. Makowsky
    Pages 266-279
  14. Moti Gitik, Menachem Magidor
    Pages 342-350
  15. David Harel, Shahar Maoz, Itai Segall
    Pages 351-366
  16. Masahito Hasegawa, Martin Hofmann, Gordon Plotkin
    Pages 367-385
  17. Michael Kaminski, Tony Tan
    Pages 386-423
  18. Daniel Lehmann
    Pages 424-440
  19. Leonid A. Levin
    Pages 457-459
  20. Irina A. Lomazova
    Pages 460-474
  21. Oded Maler, Dejan Nickovic, Amir Pnueli
    Pages 475-505
  22. Antoni Mazurkiewicz
    Pages 506-520
  23. Grigori Mints
    Pages 521-536
  24. César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
    Pages 596-619
  25. Vladimir Sazonov
    Pages 620-634
  26. Moshe Y. Vardi
    Pages 656-681
  27. Back Matter

About this book

Keywords

Automat automata computer computer science formal language formal languages logic mathematical logic programming programming language verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78127-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78126-4
  • Online ISBN 978-3-540-78127-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site