Skip to main content
  • Book
  • © 2004

Theory Is Forever

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

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

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

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

Table of contents (24 chapters)

  1. Front Matter

  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. Two Models for Gene Assembly in Ciliates

    • Tero Harju, Ion Petre, Grzegorz Rozenberg
    Pages 89-101
  6. On Self-Dual Bases of the Extensions of the Binary Field

    • Mika Hirvensalo, Jyrki Lahtonen
    Pages 102-111
  7. On NFA Reductions

    • Lucian Ilie, Gonzalo Navarro, Sheng Yu
    Pages 112-124
  8. Some Results on Directable Automata

    • Masami Ito, Kayoko Shikishima-Tsuji
    Pages 125-133
  9. Rectangles and Squares Recognized by Two-Dimensional Automata

    • Jarkko Kari, Cristopher Moore
    Pages 134-144
  10. Substitution on Trajectories

    • Lila Kari, Stavros Konstantinidis, Petr Sosík
    Pages 145-158
  11. Recombination Systems

    • Mikko Koivisto, Pasi Rastas, Esko Ukkonen
    Pages 159-169
  12. Algebraic Aspects of Parikh Matrices

    • Alexandru Mateescu
    Pages 170-180
  13. On Distributed Computing on Elliptic Curves

    • Tommi Meskanen, Ari Renvall, Paula Steinby
    Pages 181-191
  14. On the Formal Modelling of Trust in Reputation-Based Systems

    • Mogens Nielsen, Karl Krukow
    Pages 192-204

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

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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