Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001
    DBLP: db/conf/mfcs/mfcs2001.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 61  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Kazuyuki Amano, Tsukuru Hirosawa, Yusuke Watanabe, Akira Maruoka.
    The Computational Power of a Family of Decision Forests.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Martin Beaudry, Markus Holzer.
    The Complexity of Tensor Circuit Evaluation.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Albert Atserias.
    Improved Bounds on the Weak Pigeonhole Principle and Infinitely Many Primes from Weaker Axioms.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Jochen Alber, Hongbing Fan, Michael R. Fellows, Henning Fernau, Rolf Niedermeier, Frances A. Rosamond, Ulrike Stege.
    Refined Search Tree Technique for DOMINATING SET on Planar Graphs.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Andris Ambainis, Arnolds Kikusts.
    Exact Results for Accepting Probabilities of Quantum Automata.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns.
    Analysis Problems for Sequential Dynamical Systems and Communicating State Machines.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Markus Bläser.
    Computing Reciprocals of Bivariate Power Series.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Ahmed Bouajjani, Peter Habermehl, Richard Mayr.
    Automatic Verification of Recursive Procedures with One Integer Parameter.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Vasco Brattka.
    Computable Versions of Baire's Category Theorem.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Henrik Brosenne, Matthias Homeister, Stephan Waack.
    Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds.
    Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings 2001 (0) 2001
    Show item 1 to 10 of 61  

    Your query returned 61 matches in the database.