Skip to main content
Springer Nature Link
Log in

Theory Is Forever

Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday

  • Book
  • © 2004

Overview

Editors:
  1. Juhani Karhumäki

    1. Department of Mathematics and Turku Centre for Computer Science TUCS, University of Turku, Turku, Finland

  2. Hermann Maurer

    1. Institute for Information Systems and Computer Media (IICM), Graz University of Technology, Graz, Austria

  3. Gheorghe Păun

    1. Institute of Mathematics of the Romanian Academy, Bucureşti, Romania

  4. Grzegorz Rozenberg

    1. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

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

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

Access this book

Log in via an institution
eBook EUR 42.79
Price includes VAT (Netherlands)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book EUR 54.49
Price includes VAT (Netherlands)
  • 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

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (24 chapters)

  1. Front Matter

    Download chapter PDF

  2. Duality for Three: Ternary Symmetry in Process Spaces

    • Janusz Brzozowski, Radu Negulescu
    Pages 1-14

  3. Mathematical Proofs at a Crossroad?

    • Cristian S. Calude, Solomon Marcus
    Pages 15-28

  4. Rational Relations as Rational Series

    • Christian Choffrut
    Pages 29-34

  5. Networks of Standard Watson-Crick D0L Systems with Incomplete Information Communication

    • Erzsébet Csuhaj-Varjú
    Pages 35-48

  6. On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems

    • Erzsébet Csuhaj-Varjú, Jürgen Dassow
    Pages 49-59

  7. Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages

    • Pál Dömösi, Carlos Martín-Vide, Victor Mitrana
    Pages 60-67

  8. A Semiring-Semimodule Generalization of ω-Context-Free Languages

    • Zoltán Ésik, Werner Kuich
    Pages 68-80

  9. Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials

    • Vesa Halava
    Pages 81-88

  10. Two Models for Gene Assembly in Ciliates

    • Tero Harju, Ion Petre, Grzegorz Rozenberg
    Pages 89-101

  11. On Self-Dual Bases of the Extensions of the Binary Field

    • Mika Hirvensalo, Jyrki Lahtonen
    Pages 102-111

  12. On NFA Reductions

    • Lucian Ilie, Gonzalo Navarro, Sheng Yu
    Pages 112-124

  13. Some Results on Directable Automata

    • Masami Ito, Kayoko Shikishima-Tsuji
    Pages 125-133

  14. Rectangles and Squares Recognized by Two-Dimensional Automata

    • Jarkko Kari, Cristopher Moore
    Pages 134-144

  15. Substitution on Trajectories

    • Lila Kari, Stavros Konstantinidis, Petr Sosík
    Pages 145-158

  16. Recombination Systems

    • Mikko Koivisto, Pasi Rastas, Esko Ukkonen
    Pages 159-169

  17. Algebraic Aspects of Parikh Matrices

    • Alexandru Mateescu
    Pages 170-180

  18. On Distributed Computing on Elliptic Curves

    • Tommi Meskanen, Ari Renvall, Paula Steinby
    Pages 181-191

  19. On the Formal Modelling of Trust in Reputation-Based Systems

    • Mogens Nielsen, Karl Krukow
    Pages 192-204

  20. Issues with Applying Cryptography in Wireless Systems

    • Valtteri Niemi
    Pages 205-215
Back to top

Editors and Affiliations

  • Department of Mathematics and Turku Centre for Computer Science TUCS, University of Turku, Turku, Finland

    Juhani Karhumäki

  • Institute for Information Systems and Computer Media (IICM), Graz University of Technology, Graz, Austria

    Hermann Maurer

  • Institute of Mathematics of the Romanian Academy, Bucureşti, Romania

    Gheorghe Păun

  • Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top