Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/mfcs/mfcs2005.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.