Skip to main content
  • Conference proceedings
  • © 1994

Results and Trends in Theoretical Computer Science

Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings

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

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-48445-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (32 papers)

  1. Front Matter

  2. Generalizing Cook's transformation to imperative stack programs

    • Nils Andersen, Neil D. Jones
    Pages 1-18
  3. Learning picture sets from examples

    • Anne Brüggemann-Klein, Petra Fischer, Thomas Ottmann
    Pages 34-43
  4. Randomness as an invariant for number representations

    • C. Calude, H. Jürgensen
    Pages 44-66
  5. Cooperating grammars' systems: Power and parameters

    • Erzsébet Csuhaj-Varjú
    Pages 67-84
  6. Parallel pattern generation with one-way communications

    • Karel Culik II, Jarkko Kari
    Pages 85-96
  7. Dynamic labeled 2-structures with variable domains

    • A. Ehrenfeucht, G. Rozenberg
    Pages 97-123
  8. Identities and transductions

    • T. Harju, H. J. Hoogeboom, H. C. M. Kleijn
    Pages 140-144
  9. Decomposition of infinite labeled 2-structures

    • T. Harju, G. Rozenberg
    Pages 145-158
  10. Comparing descriptional and computational complexity of infinite words

    • Juraj Hromkovič, Juhani Karhumäki, Arto Lepistö
    Pages 169-182
  11. From colonies to eco(grammar)systems

    • Alica Kelemenová, Jozef Kelemen
    Pages 213-231
  12. On general solution of word equations

    • G. S. Makanin, H. Abdulrab
    Pages 251-263

About this book

This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph.D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic, computability, and cryptography. The appendix presents Professor Salomaa's curriculum vitae and lists the more than 300 papers and 9 books he published.

Keywords

  • Algorithmen und Komplexität
  • Automatentheorie
  • Formale Sprachen
  • Grammatik-Systeme
  • Variable
  • Wort-Gleichungen
  • algorithm
  • algorithms
  • automata
  • communication
  • computability
  • cryptography
  • formal language
  • logic
  • sets
  • algorithm analysis and problem complexity

Bibliographic Information

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-48445-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)