Skip to main content
  • Conference proceedings
  • © 2001

Mathematical Foundations of Computer Science 2001

26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings

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

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

  1. Front Matter

    Pages I-XII
  2. Contributed Talks

    1. Refined Search Tree Technique for Dominating Set on Planar Graphs

      • Jochen Alber, Hongbing Fan, Michael R. Fellows, Henning Fernau, Rolf Niedermeier, Fran Rosamond et al.
      Pages 111-123
    2. The Computational Power of a Family of Decision Forests

      • Kazuyuki Amano, Tsukuru Hirosawa, Yusuke Watanabe, Akira Maruoka
      Pages 123-134
    3. Exact Results for Accepting Probabilities of Quantum Automata

      • Andris Ambainis, Arnolds Ķikusts
      Pages 135-147
    4. Analysis Problems for Sequential Dynamical Systems and Communicating State Machines

      • Chris Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns
      Pages 159-172
    5. The Complexity of Tensor Circuit Evaluation

      • Martin Beaudry, Markus Holzer
      Pages 173-185
    6. Automatic Verification of Recursive Procedures with One Integer Parameter

      • Ahmed Bouajjani, Peter Habermehl, Richard Mayr
      Pages 198-211
    7. Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds

      • Henrik Brosenne, Matthias Homeister, Stephan Waack
      Pages 212-223

Editors and Affiliations

  • Mathematical Institute, AS CR, Praha 1, Czech Republic

    Jiří Sgall

  • Faculty of Mathematics and Physics Institute for Theoretical Computer Science (ITI), Charles University, Praha 1, Czech Republic

    Aleš Pultr, Petr Kolman

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