Skip to main content
  • Conference proceedings
  • © 2007

Fundamentals of Computation Theory

16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): FCT: International Symposium on Fundamentals of Computation Theory

Conference proceedings info: FCT 2007.

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 (43 papers)

  1. Front Matter

  2. Invited Lectures

    1. Rewriting Systems with Data

      • Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu
      Pages 1-22
    2. Spiking Neural P Systems: Some Characterizations

      • Oscar H. Ibarra, Sara Woodworth
      Pages 23-37
  3. Contributions

    1. Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs

      • Stavros Athanassopoulos, Ioannis Caragiannis, Christos Kaklamanis
      Pages 52-63
    2. Local Testing of Message Sequence Charts Is Difficult

      • Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
      Pages 76-87
    3. On Notions of Regularity for Data Languages

      • Henrik Björklund, Thomas Schwentick
      Pages 88-99
    4. FJMIP: A Calculus for a Modular Object Initialization

      • Viviana Bono, Jarosław D. M. Kuśmierek
      Pages 100-112
    5. Pattern Matching in Protein-Protein Interaction Graphs

      • Gaëlle Brevier, Romeo Rizzi, Stéphane Vialette
      Pages 137-148
    6. From Micro to Macro: How the Overlap Graph Determines the Reduction Graph in Ciliates

      • Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg
      Pages 149-160
    7. A String-Based Model for Simple Gene Assembly

      • Robert Brijder, Miika Langille, Ion Petre
      Pages 161-172
    8. On Block-Wise Symmetric Signatures for Matchgates

      • Jin-Yi Cai, Pinyan Lu
      Pages 187-198
    9. Path Algorithms on Regular Graphs

      • Didier Caucal, Dinh Trong Hieu
      Pages 199-212
    10. Factorization of Fuzzy Automata

      • Miroslav Ćirić, Aleksandar Stamenković, Jelena Ignjatović, Tatjana Petković
      Pages 213-225

Other Volumes

  1. Fundamentals of Computation Theory

Bibliographic Information

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