Search dblp for Publications

export results for "toc:db/conf/mfcs/mfcs2005.bht:"

 download as .bib file

@inproceedings{DBLP:conf/mfcs/AllenderBISV05,
  author       = {Eric Allender and
                  Michael Bauland and
                  Neil Immerman and
                  Henning Schnoor and
                  Heribert Vollmer},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {The Complexity of Satisfiability Problems: Refining Schaefer's Theorem},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {71--82},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_8},
  doi          = {10.1007/11549345\_8},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/AllenderBISV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AlonsoMP05,
  author       = {C{\'{e}}sar Luis Alonso and
                  Jos{\'{e}} Luis Monta{\~{n}}a and
                  Luis Miguel Pardo},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {On the Number of Random Digits Required in MonteCarlo Integration
                  of Definable Functions},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {83--94},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_9},
  doi          = {10.1007/11549345\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/AlonsoMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AlvarezGS05,
  author       = {Carme {\`{A}}lvarez and
                  Joaquim Gabarr{\'{o}} and
                  Maria J. Serna},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Pure Nash Equilibria in Games with a Large Number of Actions},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {95--106},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_10},
  doi          = {10.1007/11549345\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/AlvarezGS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AmanoM05,
  author       = {Kazuyuki Amano and
                  Akira Maruoka},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {On the Complexity of Depth-2 Circuits with Threshold Gates},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {107--118},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_11},
  doi          = {10.1007/11549345\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/AmanoM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BaulandH05,
  author       = {Michael Bauland and
                  Edith Hemaspaandra},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Isomorphic Implication},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {119--130},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_12},
  doi          = {10.1007/11549345\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/BaulandH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BertheR05,
  author       = {Val{\'{e}}rie Berth{\'{e}} and
                  Michel Rigo},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Abstract Numeration Systems and Tilings},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {131--143},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_13},
  doi          = {10.1007/11549345\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/BertheR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BienkowskiH05,
  author       = {Marcin Bienkowski and
                  Friedhelm Meyer auf der Heide},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Page Migration in Dynamic Networks},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_1},
  doi          = {10.1007/11549345\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/BienkowskiH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BlesaCFLMSS05,
  author       = {Maria J. Blesa and
                  Daniel Calzada and
                  Antonio Fern{\'{a}}ndez and
                  Luis L{\'{o}}pez and
                  Andr{\'{e}}s L. Mart{\'{\i}}nez and
                  Agust{\'{\i}}n Santos and
                  Maria J. Serna},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Adversarial Queueing Model for Continuous Network Dynamics},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {144--155},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_14},
  doi          = {10.1007/11549345\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/BlesaCFLMSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bottcher05,
  author       = {Julia B{\"{o}}ttcher},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Coloring Sparse Random \emph{k}-Colorable Graphs in Polynomial Expected
                  Time},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {156--167},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_15},
  doi          = {10.1007/11549345\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Bottcher05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Carayol05,
  author       = {Arnaud Carayol},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Regular Sets of Higher-Order Pushdown Stacks},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {168--179},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_16},
  doi          = {10.1007/11549345\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Carayol05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CarayolM05,
  author       = {Arnaud Carayol and
                  Antoine Meyer},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Linearly Bounded Infinite Graphs},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {180--191},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_17},
  doi          = {10.1007/11549345\_17},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/CarayolM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CervelleFM05,
  author       = {Julien Cervelle and
                  Enrico Formenti and
                  Beno{\^{\i}}t Masson},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Basic Properties for Sand Automata},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {192--211},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_18},
  doi          = {10.1007/11549345\_18},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/CervelleFM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChalopinM05,
  author       = {J{\'{e}}r{\'{e}}mie Chalopin and
                  Yves M{\'{e}}tivier},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {A Bridge Between the Asynchronous Message Passing Model and Local
                  Computations in Graphs},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {212--223},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_19},
  doi          = {10.1007/11549345\_19},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ChalopinM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChanJLY05,
  author       = {Ho{-}Leung Chan and
                  Jesper Jansson and
                  Tak Wah Lam and
                  Siu{-}Ming Yiu},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Reconstructing an Ultrametric Galled Phylogenetic Network from a Distance
                  Matrix},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {224--235},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_20},
  doi          = {10.1007/11549345\_20},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/ChanJLY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChanLLW05,
  author       = {Wun{-}Tat Chan and
                  Tak Wah Lam and
                  Kin{-}Shing Liu and
                  Prudence W. H. Wong},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {New Resource Augmentation Analysis of the Total Stretch of {SRPT}
                  and {SJF} in Multiprocessor Scheduling},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {236--247},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_21},
  doi          = {10.1007/11549345\_21},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ChanLLW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChengT05,
  author       = {Ho{-}Lun Cheng and
                  Tony Tan},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Approximating Polygonal Objects by Deformable Smooth Surfaces},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {248--259},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_22},
  doi          = {10.1007/11549345\_22},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ChengT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChubarovV05,
  author       = {Dimitri Chubarov and
                  Andrei Voronkov},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Basis of Solutions for a System of Linear Inequalities in Integers:
                  Computation and Applications},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {260--270},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_23},
  doi          = {10.1007/11549345\_23},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ChubarovV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DotyGLMM05,
  author       = {David Doty and
                  Xiaoyang Gu and
                  Jack H. Lutz and
                  Elvira Mayordomo and
                  Philippe Moser},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Zeta-Dimension},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {283--294},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_25},
  doi          = {10.1007/11549345\_25},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/DotyGLMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EpsteinL05,
  author       = {Leah Epstein and
                  Meital Levy},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Online Interval Coloring with Packing Constraints},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {295--307},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_26},
  doi          = {10.1007/11549345\_26},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/EpsteinL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FaliszewskiO05,
  author       = {Piotr Faliszewski and
                  Mitsunori Ogihara},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Separating the Notions of Self- and Autoreducibility},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {308--315},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_27},
  doi          = {10.1007/11549345\_27},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FaliszewskiO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FatesMST05,
  author       = {Nazim Fat{\`{e}}s and
                  Michel Morvan and
                  Nicolas Schabanel and
                  Eric Thierry},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Fully Asynchronous Behavior of Double-Quiescent Elementary Cellular
                  Automata},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {316--327},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_28},
  doi          = {10.1007/11549345\_28},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FatesMST05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FertinRV05,
  author       = {Guillaume Fertin and
                  Romeo Rizzi and
                  St{\'{e}}phane Vialette},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Finding Exact and Maximum Occurrences of Protein Complexes in Protein-Protein
                  Interaction Graphs},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {328--339},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_29},
  doi          = {10.1007/11549345\_29},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FertinRV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FialaPT05,
  author       = {Jir{\'{\i}} Fiala and
                  Dani{\"{e}}l Paulusma and
                  Jan Arne Telle},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Matrix and Graph Orders Derived from Locally Constrained Graph Homomorphisms},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {340--351},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_30},
  doi          = {10.1007/11549345\_30},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FialaPT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FishkinGJS05,
  author       = {Aleksei V. Fishkin and
                  Olga Gerber and
                  Klaus Jansen and
                  Roberto Solis{-}Oba},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Packing Weighted Rectangles into a Square},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {352--363},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_31},
  doi          = {10.1007/11549345\_31},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FishkinGJS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FominFN05,
  author       = {Fedor V. Fomin and
                  Pierre Fraigniaud and
                  Nicolas Nisse},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Nondeterministic Graph Searching: From Pathwidth to Treewidth},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {364--375},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_32},
  doi          = {10.1007/11549345\_32},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FominFN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Freivalds05,
  author       = {Rusins Freivalds},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Knot Theory, Jones Polynomial and Quantum Computing},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {15--25},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_2},
  doi          = {10.1007/11549345\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Freivalds05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GaintzarainHN05,
  author       = {Joxe Gaintzarain and
                  Montserrat Hermo and
                  Marisa Navarro},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Goals in the Propositional Horn Language Are Monotone Boolean Circuits},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {376--386},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_33},
  doi          = {10.1007/11549345\_33},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/GaintzarainHN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GlasserOPSZ05,
  author       = {Christian Gla{\ss}er and
                  Mitsunori Ogihara and
                  Aduri Pavan and
                  Alan L. Selman and
                  Liyu Zhang},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Autoreducibility, Mitoticity, and Immunity},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {387--398},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_34},
  doi          = {10.1007/11549345\_34},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/GlasserOPSZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GlasserSZ05,
  author       = {Christian Gla{\ss}er and
                  Alan L. Selman and
                  Liyu Zhang},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Canonical Disjoint NP-Pairs of Propositional Proof Systems},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {399--409},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_35},
  doi          = {10.1007/11549345\_35},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/GlasserSZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoldsmithHM05,
  author       = {Judy Goldsmith and
                  Matthias Hagen and
                  Martin Mundhenk},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Complexity of {DNF} and Isomorphism of Monotone Formulas},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {410--421},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_36},
  doi          = {10.1007/11549345\_36},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/GoldsmithHM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GroheKS05,
  author       = {Martin Grohe and
                  Stephan Kreutzer and
                  Nicole Schweikardt},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {The Expressive Power of Two-Variable Least Fixed-Point Logics},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {422--434},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_37},
  doi          = {10.1007/11549345\_37},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/GroheKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GrunskyKP05,
  author       = {Igor Grunsky and
                  Oleksiy Kurganskyy and
                  Igor Potapov},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Languages Representable by Vertex-Labeled Graphs},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {435--446},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_38},
  doi          = {10.1007/11549345\_38},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/GrunskyKP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Gurevich05,
  author       = {Yuri Gurevich},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Interactive Algorithms 2005},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {26--38},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_3},
  doi          = {10.1007/11549345\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Gurevich05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Gurvits05,
  author       = {Leonid Gurvits},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {On the Complexity of Mixed Discriminants and Related Problems},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {447--458},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_39},
  doi          = {10.1007/11549345\_39},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Gurvits05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HansenM05,
  author       = {Uffe Flarup Hansen and
                  Klaus Meer},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Two Logical Hierarchies of Optimization Problems over the Real Numbers},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {459--470},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_40},
  doi          = {10.1007/11549345\_40},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/HansenM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Heinemann05,
  author       = {Bernhard Heinemann},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Algebras as Knowledge Structures},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {471--482},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_41},
  doi          = {10.1007/11549345\_41},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Heinemann05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HernichN05,
  author       = {Andr{\'{e}} Hernich and
                  Arfst Nickelsen},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Combining Self-reducibility and Partial Information Algorithms},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {483--494},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_42},
  doi          = {10.1007/11549345\_42},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/HernichN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HunterD05,
  author       = {Paul Hunter and
                  Anuj Dawar},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Complexity Bounds for Regular Games},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {495--506},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_43},
  doi          = {10.1007/11549345\_43},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/HunterD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ibarra05,
  author       = {Oscar H. Ibarra},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Some Computational Issues in Membrane Computing},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {39--51},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_4},
  doi          = {10.1007/11549345\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Ibarra05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Janicki05,
  author       = {Ryszard Janicki},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Basic Mereology with Equivalence Relations},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {507--519},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_44},
  doi          = {10.1007/11549345\_44},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Janicki05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JanssonP05,
  author       = {Jesper Jansson and
                  Zeshan Peng},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Online and Dynamic Recognition of Squarefree Strings},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {520--531},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_45},
  doi          = {10.1007/11549345\_45},
  timestamp    = {Tue, 17 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/JanssonP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JurdzinskiO05,
  author       = {Tomasz Jurdzinski and
                  Friedrich Otto},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Shrinking Restarting Automata},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {532--543},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_46},
  doi          = {10.1007/11549345\_46},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/JurdzinskiO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kapoutsis05,
  author       = {Christos A. Kapoutsis},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Removing Bidirectionality from Nondeterministic Finite Automata},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {544--555},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_47},
  doi          = {10.1007/11549345\_47},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kapoutsis05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KhachiyanBEG05,
  author       = {Leonid Khachiyan and
                  Endre Boros and
                  Khaled M. Elbassioni and
                  Vladimir Gurvich},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Generating All Minimal Integral Solutions to Monotone and, or-Systems
                  of Linear, Transversal and Polymatroid Inequalities},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {556--567},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_48},
  doi          = {10.1007/11549345\_48},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/KhachiyanBEG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KneisMRR05,
  author       = {Joachim Kneis and
                  Daniel M{\"{o}}lle and
                  Stefan Richter and
                  Peter Rossmanith},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {On the Parameterized Complexity of Exact Satisfiability Problems},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {568--579},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_49},
  doi          = {10.1007/11549345\_49},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/KneisMRR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kolman05,
  author       = {Petr Kolman},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Approximating Reversal Distance for Strings with Bounded Number of
                  Duplicates},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {580--590},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_50},
  doi          = {10.1007/11549345\_50},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kolman05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KorovinV05,
  author       = {Konstantin Korovin and
                  Andrei Voronkov},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Random Databases and Threshold for Monotone Non-recursive Datalog},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {591--602},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_51},
  doi          = {10.1007/11549345\_51},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/KorovinV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KralP05,
  author       = {Daniel Kr{\'{a}}l and
                  Ondrej Pangr{\'{a}}c},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {An Asymptotically Optimal Linear-Time Algorithm for Locally Consistent
                  Constraint Satisfaction Problems},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {603--614},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_52},
  doi          = {10.1007/11549345\_52},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/KralP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Krysta05,
  author       = {Piotr Krysta},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Greedy Approximation via Duality for Packing, Combinatorial Auctions
                  and Routing},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {615--627},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_53},
  doi          = {10.1007/11549345\_53},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Krysta05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kuivinen05,
  author       = {Fredrik Kuivinen},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Tight Approximability Results for the Maximum Solution Equation Problem
                  over Z\({}_{\mbox{p}}\)},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {628--639},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_54},
  doi          = {10.1007/11549345\_54},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kuivinen05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LangeS05,
  author       = {Martin Lange and
                  Rafal Somla},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {The Complexity of Model Checking Higher Order Fixpoint Logic},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {640--651},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_55},
  doi          = {10.1007/11549345\_55},
  timestamp    = {Tue, 09 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/LangeS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LiY05,
  author       = {Minming Li and
                  Frances F. Yao},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {An Efficient Algorithm for Computing Optimal Discrete Voltage Schedules},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {652--663},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_56},
  doi          = {10.1007/11549345\_56},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LiY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LohreyO05,
  author       = {Markus Lohrey and
                  Nicole Ondrusch},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Inverse Monoids: Decidability and Complexity of Algebraic Questions},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {664--675},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_57},
  doi          = {10.1007/11549345\_57},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LohreyO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Lopez-ValdesM05,
  author       = {Mar{\'{\i}}a L{\'{o}}pez{-}Vald{\'{e}}s and
                  Elvira Mayordomo},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Dimension Is Compression},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {676--685},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_58},
  doi          = {10.1007/11549345\_58},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Lopez-ValdesM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MarcoGKKPV05,
  author       = {Gianluca De Marco and
                  Luisa Gargano and
                  Evangelos Kranakis and
                  Danny Krizanc and
                  Andrzej Pelc and
                  Ugo Vaccaro},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Asynchronous Deterministic Rendezvous in Graphs},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {271--282},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_24},
  doi          = {10.1007/11549345\_24},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/MarcoGKKPV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Morin05,
  author       = {R{\'{e}}mi Morin},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Concurrent Automata vs. Asynchronous Systems},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {686--698},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_59},
  doi          = {10.1007/11549345\_59},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Morin05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Nishio05,
  author       = {Hidenosuke Nishio},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Completeness and Degeneracy in Information Dynamics of Cellular Automata},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {699--707},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_60},
  doi          = {10.1007/11549345\_60},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Nishio05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Okhotin05,
  author       = {Alexander Okhotin},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Strict Language Inequalities and Their Decision Problems},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {708--719},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_61},
  doi          = {10.1007/11549345\_61},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Okhotin05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pinna05,
  author       = {G. Michele Pinna},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Event Structures for the Collective Tokens Philosophy of Inhibitor
                  Nets},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {720--732},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_62},
  doi          = {10.1007/11549345\_62},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Pinna05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PolT05,
  author       = {Jaco van de Pol and
                  Olga Tveretina},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {A BDD-Representation for the Logic of Equality and Uninterpreted Functions},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {769--780},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_66},
  doi          = {10.1007/11549345\_66},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/PolT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RiegeR05,
  author       = {Tobias Riege and
                  J{\"{o}}rg Rothe},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {An Exact 2.9416\({}^{\mbox{n}}\) Algorithm for the Three Domatic Number
                  Problem},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {733--744},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_63},
  doi          = {10.1007/11549345\_63},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/RiegeR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Safari05,
  author       = {Mohammad Ali Safari},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {D-Width: {A} More Natural Measure for Directed Tree Width},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {745--756},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_64},
  doi          = {10.1007/11549345\_64},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Safari05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Simonsen05,
  author       = {Jakob Grue Simonsen},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {On Beta-Shifts Having Arithmetical Languages},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {757--768},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_65},
  doi          = {10.1007/11549345\_65},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Simonsen05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/SzemerediRR05,
  author       = {Endre Szemer{\'{e}}di and
                  Andrzej Rucinski and
                  Vojtech R{\"{o}}dl},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {The Generalization of Dirac's Theorem for Hypergraphs},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {52--56},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_5},
  doi          = {10.1007/11549345\_5},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/SzemerediRR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Unger05,
  author       = {Falk Unger},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {On Small Hard Leaf Languages},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {781--792},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_67},
  doi          = {10.1007/11549345\_67},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Unger05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Vassilevska05,
  author       = {Virginia Vassilevska},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Explicit Inapproximability Bounds for the Shortest Superstring Problem},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {793--800},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_68},
  doi          = {10.1007/11549345\_68},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Vassilevska05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wrona05,
  author       = {Michal Wrona},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Stratified Boolean Grammars},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {801--812},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_69},
  doi          = {10.1007/11549345\_69},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Wrona05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Yao05,
  author       = {Andrew Chi{-}Chih Yao},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {On the Communication Complexity of Co-linearity Problems},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {57},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_6},
  doi          = {10.1007/11549345\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Yao05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Zielonka05,
  author       = {Wieslaw Zielonka},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {An Invitation to Play},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {58--70},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_7},
  doi          = {10.1007/11549345\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Zielonka05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2005,
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345},
  doi          = {10.1007/11549345},
  isbn         = {3-540-28702-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics