Skip to main content
  • Conference proceedings
  • © 1999

Fundamentals of Computation Theory

12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings

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

Buy it now

Buying options

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

  1. Front Matter

    Pages I-XI
  2. Tile transition systems as structured coalgebras?

    • Andrea Corradini, Reiko Heckel, Ugo Montanari
    Pages 13-38
  3. Caesar and DNA — views on cryptology

    • Arto Salomaa
    Pages 39-53
  4. Axiomatising asynchronous process calculi

    • Matthew Hennessy
    Pages 90-90
  5. A polynomial time approximation scheme for dense MupIN 2S{upAT}

    • Cristina Bazgan, W. de la Fernandez Vega
    Pages 91-99
  6. Decidable classes of the verification problem in a timed predicate logic

    • Danièle Beauquier, Anatol Slissenko
    Pages 100-111
  7. Interpretations of extensible objects and types

    • Viviana Bono, Michele Bugliesi
    Pages 112-123
  8. Restrictive acceptance suffices for equivalence problems

    • Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe
    Pages 124-135
  9. Grammar systems as language analyzers and recursively enumerable languages

    • Henning Bordihn, Júrgen Dassow, Gyorgy Vaszil
    Pages 136-147
  10. An interpretation of extensible objects

    • Gérard Boudol, Silvano Dal-Zilio
    Pages 148-160
  11. Modeling operating systems schedulers with multi-stack-queue grammars

    • Luca Breveglieri, Stefano Crespi Reghizzi, Alessandra Cherubini
    Pages 161-172
  12. Iterative arrays with a wee bit alternation

    • Thomas Buchholz, Andreas Klein, Martin Kutrib
    Pages 173-184
  13. Secret sharing schemes with detection of cheaters for a general access structure

    • Sergio Cabello, Carles Padró, Germán Sáez
    Pages 185-194
  14. Constructive notes on uniform and locally convex spaces

    • Luminitţa Dediu, Douglas Bridges
    Pages 195-203
  15. Graph automorphisms with maximal projection distances

    • H. N. de Ridder, H. L. Bodlaender
    Pages 204-214
  16. Kleene theorems for event-clock automata

    • Cătălin Dima
    Pages 215-225

About this book

This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999.
The 42 revised full papers presented together with four invited papers were carefully selected from a total of 102 submissions. Among the topics addressed are abstract data types, algorithms and data structures, automata and formal languages, categorical and topological approaches, complexity, computational geometry, concurrency, cryptology, distributed computing, logics in computer science, process algebras, symbolic computation, molecular computing, quantum computing, etc.

Editors and Affiliations

  • Faculty of Computer Science, “A.I.Cuza” University, Iaşi, Romania

    Gabriel Ciobanu

  • Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    Gheorghe Păun

Bibliographic Information

  • Book Title: Fundamentals of Computation Theory

  • Book Subtitle: 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings

  • Editors: Gabriel Ciobanu, Gheorghe Păun

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-48321-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1999

  • Softcover ISBN: 978-3-540-66412-3Published: 18 August 1999

  • eBook ISBN: 978-3-540-48321-2Published: 31 July 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 576

  • Topics: Theory of Computation, Discrete Mathematics in Computer Science, Data Structures

Buy it now

Buying options

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