Table of contents

  1. Front Matter
  2. Natasha Alechina, Yuri Gurevich
    Pages 14-33
  3. Michael Benedikt, H. Jerome Keisler
    Pages 34-50
  4. Wilfrid Hodges
    Pages 51-65
  5. James F. Lynch
    Pages 66-83
  6. Zdzislaw Pawlak
    Pages 106-117
  7. Roderick Bloem, Joost Engelfriet
    Pages 144-161
  8. Marek Karpinski, Angus Macintyre
    Pages 162-173
  9. Ross McConnell
    Pages 174-191
  10. Maxime Crochemore, Renaud Vérin
    Pages 192-211
  11. David Haussler, Manfred Opper
    Pages 212-235
  12. Alberto Apostolico, Dany Breslauer
    Pages 236-248
  13. Aldo de Luca
    Pages 249-267
  14. Tero Harju, Juhani Karhumäki, Mario Petrich
    Pages 268-280
  15. Alexandru Mateescu, George Daniel Mateescu
    Pages 291-307
  16. Christophe Prieur, Christian Choffrut, Michel Latteux
    Pages 308-321

About this book

Introduction

This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work.
The 22 invited papers are presented in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology.

Keywords

Computer Discrete Mathematics Equivalence Formal Languages Logical Structures Mathematical Logic Theory of Algorithms Variable algorithms combinatorics formal language logic

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-63246-8
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63246-7
  • Online ISBN 978-3-540-69242-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book