Advertisement

Fundamentals of Computation Theory

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

  • Editors
  • Erzsébet Csuhaj-Varjú
  • Zoltán Ésik
Conference proceedings FCT 2007

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

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu
      Pages 1-22
    2. Oscar H. Ibarra, Sara Woodworth
      Pages 23-37
  3. Contributions

    1. Stavros Athanassopoulos, Ioannis Caragiannis, Christos Kaklamanis
      Pages 52-63
    2. Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
      Pages 76-87
    3. Henrik Björklund, Thomas Schwentick
      Pages 88-99
    4. Viviana Bono, Jarosław D. M. Kuśmierek
      Pages 100-112
    5. Gaëlle Brevier, Romeo Rizzi, Stéphane Vialette
      Pages 137-148
    6. Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg
      Pages 149-160
    7. Robert Brijder, Miika Langille, Ion Petre
      Pages 161-172
    8. Jin-Yi Cai, Pinyan Lu
      Pages 187-198
    9. Didier Caucal, Dinh Trong Hieu
      Pages 199-212
    10. Miroslav Ćirić, Aleksandar Stamenković, Jelena Ignjatović, Tatjana Petković
      Pages 213-225
    11. Thomas Colcombet
      Pages 226-237
    12. Clelia De Felice, Gabriele Fici, Rosalba Zizza
      Pages 238-249
    13. Sebastian Dörn, Thomas Thierauf
      Pages 250-260
    14. Jacques Duparc, Filip Murlak
      Pages 261-273
    15. Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
      Pages 274-287
    16. Leah Epstein, Asaf Levin, Rob van Stee
      Pages 288-299
    17. Gábor Erdélyi, Lane A. Hemaspaandra, Jörg Rothe, Holger Spakowski
      Pages 300-311
    18. Michael Fellows, Michael Langston, Frances Rosamond, Peter Shaw
      Pages 312-321
    19. Edith Hemaspaandra, Lane A. Hemaspaandra, Till Tantau, Osamu Watanabe
      Pages 328-340
    20. Michael Hoffmann, Richard M. Thomas
      Pages 341-352
    21. Mihai Ionescu, Dragoş Sburlan
      Pages 353-364
    22. Martin Kutrib, Andreas Malcher
      Pages 376-387
    23. Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu
      Pages 400-411
    24. Alexander Meduna, Jiří Techet
      Pages 412-423
    25. H. Messerschmidt, F. Otto
      Pages 424-434
    26. Rajat Mittal, Mario Szegedy
      Pages 435-445
    27. Alexander Okhotin
      Pages 446-457
    28. Mathias Samuelides, Luc Segoufin
      Pages 458-469
    29. Hadas Shachnai, Omer Yehezkely
      Pages 482-493
  4. Back Matter

About these proceedings

Keywords

Automat algorithm algorithms automata complexity computational geometry computer computer science distributed systems formal language formal languages logic semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-74240-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74239-5
  • Online ISBN 978-3-540-74240-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering