Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/mfcs/mfcs2000.bht:"
@inproceedings{DBLP:conf/mfcs/AblayevG00, author = {Farid M. Ablayev and Aida Gainutdinova}, editor = {Mogens Nielsen and Branislav Rovan}, title = {On the Lower Bounds for One-Way Quantum Automata}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {132--140}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_9}, doi = {10.1007/3-540-44612-5\_9}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/AblayevG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/AbramskyL00, author = {Samson Abramsky and Marina Lenisa}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Axiomatizing Fully Complete Models for {ML} Polymorphic Types}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {141--151}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_10}, doi = {10.1007/3-540-44612-5\_10}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/AbramskyL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Ambos-Spies00, author = {Klaus Ambos{-}Spies}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Measure Theoretic Completeness Notions for the Exponential Time Classes}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {152--161}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_11}, doi = {10.1007/3-540-44612-5\_11}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Ambos-Spies00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BarriereF00, author = {Lali Barri{\`{e}}re and Josep F{\`{a}}brega}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Edge-Bisection of Chordal Rings}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {162--171}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_12}, doi = {10.1007/3-540-44612-5\_12}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BarriereF00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BarringtonMMTT00, author = {David A. Mix Barrington and Pierre McKenzie and Cristopher Moore and Pascal Tesson and Denis Th{\'{e}}rien}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Equation Satisfiability and Program Satisfiability for Finite Monoids}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {172--181}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_13}, doi = {10.1007/3-540-44612-5\_13}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BarringtonMMTT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BerstelB00, author = {Jean Berstel and Luc Boasson}, editor = {Mogens Nielsen and Branislav Rovan}, title = {{XML} Grammars}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {182--191}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_14}, doi = {10.1007/3-540-44612-5\_14}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BerstelB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BiedlBV00, author = {Therese C. Biedl and Brona Brejov{\'{a}} and Tom{\'{a}}s Vinar}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Simplifying Flow Networks}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {192--201}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_15}, doi = {10.1007/3-540-44612-5\_15}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/BiedlBV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BiedlCCDDFW00, author = {Therese C. Biedl and Eowyn Cenek and Timothy M. Chan and Erik D. Demaine and Martin L. Demaine and Rudolf Fleischer and Ming{-}wei Wang}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Balanced \emph{k}-Colorings}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {202--211}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_16}, doi = {10.1007/3-540-44612-5\_16}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BiedlCCDDFW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BoerB00, author = {Frank S. de Boer and Marcello M. Bonsangue}, editor = {Mogens Nielsen and Branislav Rovan}, title = {A Compositional Model for Confluent Dynamic Data-Flow Networks}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {212--221}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_17}, doi = {10.1007/3-540-44612-5\_17}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BoerB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Bollig00, author = {Beate Bollig}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {222--231}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_18}, doi = {10.1007/3-540-44612-5\_18}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Bollig00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BouyerDFP00, author = {Patricia Bouyer and Catherine Dufourd and Emmanuel Fleury and Antoine Petit}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Expressiveness of Updatable Timed Automata}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {232--242}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_19}, doi = {10.1007/3-540-44612-5\_19}, timestamp = {Thu, 14 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/BouyerDFP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BuchholzKK00, author = {Thomas Buchholz and Andreas Klein and Martin Kutrib}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Iterative Arrays with Small Time Bounds}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {243--252}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_20}, doi = {10.1007/3-540-44612-5\_20}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/BuchholzKK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/CahaG00, author = {Rostislav Caha and Petr Gregor}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Embedding Fibonacci Cubes into Hypercubes with \emph{Omega}(2\({}^{\mbox{\emph{cn}}}\)) Faulty Nodes}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {253--263}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_21}, doi = {10.1007/3-540-44612-5\_21}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/CahaG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/CarpiL00, author = {Arturo Carpi and Aldo de Luca}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Periodic-Like Words}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {264--274}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_22}, doi = {10.1007/3-540-44612-5\_22}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/CarpiL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/CartonT00, author = {Olivier Carton and Wolfgang Thomas}, editor = {Mogens Nielsen and Branislav Rovan}, title = {The Monadic Theory of Morphic Infinite Words and Generalizations}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {275--284}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_23}, doi = {10.1007/3-540-44612-5\_23}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/CartonT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/ComellasMNO00, author = {Francesc Comellas and Margarida Mitjana and Lata Narayanan and Jaroslav Opatrny}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Optical Routing of Uniform Instances in Tori}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {285--294}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_24}, doi = {10.1007/3-540-44612-5\_24}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/ComellasMNO00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Dal-ZilioG00, author = {Silvano Dal{-}Zilio and Andrew D. Gordon}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Region Analysis and a pi-Calculus wiht Groups}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {1--20}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_1}, doi = {10.1007/3-540-44612-5\_1}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/Dal-ZilioG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Davenport00, author = {James H. Davenport}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Abstract Data Types in Computer Algebra}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {21--35}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_2}, doi = {10.1007/3-540-44612-5\_2}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Davenport00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/DemetrescuI00, author = {Camil Demetrescu and Giuseppe F. Italiano}, editor = {Mogens Nielsen and Branislav Rovan}, title = {What Do We Learn from Experimental Algorithmics?}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {36--51}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_3}, doi = {10.1007/3-540-44612-5\_3}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/DemetrescuI00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Dezani-CiancagliniHM00, author = {Mariangiola Dezani{-}Ciancaglini and Furio Honsell and Yoko Motohama}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Compositional Characterizations of lambda-Terms Using Intersection Types}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {304--313}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_26}, doi = {10.1007/3-540-44612-5\_26}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Dezani-CiancagliniHM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Dobrev00, author = {Stefan Dobrev}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Time and Message Optimal Leader Election in Asynchronous Oriented Complete Networks}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {314--322}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_27}, doi = {10.1007/3-540-44612-5\_27}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Dobrev00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/DurandHK00, author = {Arnaud Durand and Miki Hermann and Phokion G. Kolaitis}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Subtractive Reductions and Complete Problems for Counting Complexity Classes}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {323--332}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_28}, doi = {10.1007/3-540-44612-5\_28}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/DurandHK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/EbertV00, author = {Todd Ebert and Heribert Vollmer}, editor = {Mogens Nielsen and Branislav Rovan}, title = {On the Autoreducibility of Random Sequences}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {333--342}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_29}, doi = {10.1007/3-540-44612-5\_29}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/EbertV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Esik00, author = {Zolt{\'{a}}n {\'{E}}sik}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Iteration Theories of Boolean Functions}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {343--352}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_30}, doi = {10.1007/3-540-44612-5\_30}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Esik00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Felice00, author = {Clelia de Felice}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Factorizing Codes and Sch{\"{u}}tzenberger Conjectures}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {295--303}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_25}, doi = {10.1007/3-540-44612-5\_25}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Felice00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/FinkelS00, author = {Alain Finkel and Gr{\'{e}}goire Sutre}, editor = {Mogens Nielsen and Branislav Rovan}, title = {An Algorithm Constructing the Semilinear Post\({}^{\mbox{*}}\) for 2-Dim Reset/Transfer {VASS}}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {353--362}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_31}, doi = {10.1007/3-540-44612-5\_31}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/FinkelS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/FotakisNPS00, author = {Dimitris Fotakis and Sotiris E. Nikoletseas and Vicky G. Papadopoulou and Paul G. Spirakis}, editor = {Mogens Nielsen and Branislav Rovan}, title = {NP-Completeness Results and Efficient Approximations for Radiocoloring in Planar Graphs}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {363--372}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_32}, doi = {10.1007/3-540-44612-5\_32}, timestamp = {Thu, 24 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/FotakisNPS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/GardnerW00, author = {Philippa Gardner and Lucian Wischik}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Explicit Fusions}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {373--382}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_33}, doi = {10.1007/3-540-44612-5\_33}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/GardnerW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/GrooteP00, author = {Jan Friso Groote and Jaco van de Pol}, editor = {Mogens Nielsen and Branislav Rovan}, title = {State Space Reduction Using Partial tau-Confluence}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {383--393}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_34}, doi = {10.1007/3-540-44612-5\_34}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/GrooteP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Grosu00, author = {Radu Grosu}, editor = {Mogens Nielsen and Branislav Rovan}, title = {And/Or Hierarchies and Round Abstraction}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {52--63}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_4}, doi = {10.1007/3-540-44612-5\_4}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Grosu00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/HemaspaandraH00, author = {Edith Hemaspaandra and Lane A. Hemaspaandra}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Computational Politics: Electoral Systems}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {64--83}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_5}, doi = {10.1007/3-540-44612-5\_5}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/HemaspaandraH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/HemaspaandraOW00, author = {Lane A. Hemaspaandra and Mitsunori Ogihara and Gerd Wechsung}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Reducing the Number of Solutions of {NP} Functions}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {394--404}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_35}, doi = {10.1007/3-540-44612-5\_35}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/HemaspaandraOW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/HenriksenMKT00, author = {Jesper G. Henriksen and Madhavan Mukund and K. Narayan Kumar and P. S. Thiagarajan}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Regular Collections of Message Sequence Charts}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {405--414}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_36}, doi = {10.1007/3-540-44612-5\_36}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/HenriksenMKT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/HolzerM00, author = {Markus Holzer and Pierre McKenzie}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Alternating and Empty Alternating Auxiliary Stack Automata}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {415--425}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_37}, doi = {10.1007/3-540-44612-5\_37}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/HolzerM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/IbarraSDBK00, author = {Oscar H. Ibarra and Jianwen Su and Zhe Dang and Tevfik Bultan and Richard A. Kemmerer}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Conter Machines: Decidable Properties and Applications to Verification Problems}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {426--435}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_38}, doi = {10.1007/3-540-44612-5\_38}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/IbarraSDBK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/IwamaMP00, author = {Kazuo Iwama and Akihiro Matsuura and Mike Paterson}, editor = {Mogens Nielsen and Branislav Rovan}, title = {A Family of NFA's Which Need 2\({}^{\mbox{n}}\) -\emph{alpha} Deterministic States}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {436--445}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_39}, doi = {10.1007/3-540-44612-5\_39}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/IwamaMP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/JansenP00, author = {Klaus Jansen and Lorant Porkolab}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Preemptive Scheduling on Dedicated Processors: Applications of Fractional Graph Coloring}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {446--455}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_40}, doi = {10.1007/3-540-44612-5\_40}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/JansenP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/KlimaS00, author = {Ondrej Kl{\'{\i}}ma and Jir{\'{\i}} Srba}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Matching Modulo Associativity and Idempotency Is NP-Complete}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {456--466}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_41}, doi = {10.1007/3-540-44612-5\_41}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/KlimaS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/KolaitisV00, author = {Phokion G. Kolaitis and Moshe Y. Vardi}, editor = {Mogens Nielsen and Branislav Rovan}, title = {0-1 Laws for Fragments of Existential Second-Order Logic: {A} Survey}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {84--98}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_6}, doi = {10.1007/3-540-44612-5\_6}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/KolaitisV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Kosub00, author = {Sven Kosub}, editor = {Mogens Nielsen and Branislav Rovan}, title = {On NP-Partitions over Posets with an Application to Reducing the Set of Solutions of {NP} Problems}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {467--476}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_42}, doi = {10.1007/3-540-44612-5\_42}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Kosub00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Kral00, author = {Daniel Kr{\'{a}}l}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Algebraic and Uniqueness Properties of Parity Ordered Binary Decision Diagrams and Their Generalization}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {477--487}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_43}, doi = {10.1007/3-540-44612-5\_43}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/Kral00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Kuich00, author = {Werner Kuich}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Formal Series over Algebras}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {488--496}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_44}, doi = {10.1007/3-540-44612-5\_44}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Kuich00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/KupfermanV00, author = {Orna Kupferman and Moshe Y. Vardi}, editor = {Mogens Nielsen and Branislav Rovan}, title = {{\(\mathrm{\mu}\)}-Calculus Synthesis}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {497--507}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_45}, doi = {10.1007/3-540-44612-5\_45}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/KupfermanV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/LafitteM00, author = {Gr{\'{e}}gory Lafitte and Jacques Mazoyer}, editor = {Mogens Nielsen and Branislav Rovan}, title = {The Infinite Versions of {LOGSPACE} != {P} Are Consistent with the Axioms of Set Theory}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {508--517}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_46}, doi = {10.1007/3-540-44612-5\_46}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/LafitteM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/LanotteM00, author = {Ruggero Lanotte and Andrea Maggiolo{-}Schettini}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Timed Automata with Monotonic Activities}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {518--527}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_47}, doi = {10.1007/3-540-44612-5\_47}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/LanotteM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/LeeuwenW00, author = {Jan van Leeuwen and Jir{\'{\i}} Wiedermann}, editor = {Mogens Nielsen and Branislav Rovan}, title = {On Algorithms and Interaction}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {99--113}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_7}, doi = {10.1007/3-540-44612-5\_7}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/LeeuwenW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Lozin00, author = {Vadim V. Lozin}, editor = {Mogens Nielsen and Branislav Rovan}, title = {On a Generalization of Bi-Complement Reducible Graphs}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {528--538}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_48}, doi = {10.1007/3-540-44612-5\_48}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/Lozin00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Ly00, author = {Olivier Ly}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Automatic Graphs and Graph \emph{D}0\emph{L}-Systems}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {539--548}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_49}, doi = {10.1007/3-540-44612-5\_49}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Ly00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/MantaciBM00, author = {Sabrina Mantaci and Vincent D. Blondel and Jean Mairesse}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Bilinear Functions and Trees over the (max, +) Semiring}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {549--558}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_50}, doi = {10.1007/3-540-44612-5\_50}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/MantaciBM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/MontanariP00, author = {Ugo Montanari and Marco Pistore}, editor = {Mogens Nielsen and Branislav Rovan}, title = {pi-Calculus, Structured Coalgebras, and Minimal HD-Automata}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {569--578}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_52}, doi = {10.1007/3-540-44612-5\_52}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/MontanariP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/MontanariPS00, author = {Angelo Montanari and Alberto Policriti and Matteo Slanina}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Derivability in Locally Quantified Modal Logics via Translation in Set Theory}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {559--568}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_51}, doi = {10.1007/3-540-44612-5\_51}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/MontanariPS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/NietoE00, author = {Leonor Prensa Nieto and Javier Esparza}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {619--628}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_57}, doi = {10.1007/3-540-44612-5\_57}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/NietoE00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Peleg00, author = {David Peleg}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Informative Labeling Schemes for Graphs}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {579--588}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_53}, doi = {10.1007/3-540-44612-5\_53}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Peleg00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Petersen00, author = {Holger Petersen}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Separation Results for Rebound Automata}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {589--598}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_54}, doi = {10.1007/3-540-44612-5\_54}, timestamp = {Fri, 15 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/Petersen00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Pighizzini00, author = {Giovanni Pighizzini}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Unary Pushdown Automata and Auxiliary Space Lower Bounds}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {599--608}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_55}, doi = {10.1007/3-540-44612-5\_55}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Pighizzini00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/PolZ00, author = {Jaco van de Pol and Hans Zantema}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Binary Decision Diagrams by Shard Rewriting}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {609--618}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_56}, doi = {10.1007/3-540-44612-5\_56}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/PolZ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/RabinovichM00, author = {Alexander Moshe Rabinovich and Shahar Maoz}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Why so Many Temporal Logics Climb up the Trees?}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {629--639}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_58}, doi = {10.1007/3-540-44612-5\_58}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/RabinovichM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/ReithV00, author = {Steffen Reith and Heribert Vollmer}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Optimal Satisfiability for Propositional Calculi and Constraint Satisfaction Problems}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {640--649}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_59}, doi = {10.1007/3-540-44612-5\_59}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/ReithV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/SavickyS00, author = {Petr Savick{\'{y}} and Detlef Sieling}, editor = {Mogens Nielsen and Branislav Rovan}, title = {A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {650--659}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_60}, doi = {10.1007/3-540-44612-5\_60}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/SavickyS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Schwentick00, author = {Thomas Schwentick}, editor = {Mogens Nielsen and Branislav Rovan}, title = {On Diving in Trees}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {660--669}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_61}, doi = {10.1007/3-540-44612-5\_61}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Schwentick00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Tanaka00, author = {Miki Tanaka}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Abstract Syntax and Variable Binding for Linear Binders}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {670--679}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_62}, doi = {10.1007/3-540-44612-5\_62}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Tanaka00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Urvoy00, author = {Tanguy Urvoy}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Regularity of Congruential Graphs}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {680--689}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_63}, doi = {10.1007/3-540-44612-5\_63}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Urvoy00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Wich00, author = {Klaus Wich}, editor = {Mogens Nielsen and Branislav Rovan}, title = {Sublinear Ambiguity}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {690--698}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_64}, doi = {10.1007/3-540-44612-5\_64}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Wich00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Yamamoto00, author = {Hiroaki Yamamoto}, editor = {Mogens Nielsen and Branislav Rovan}, title = {An Automata-Based Recognition Algorithm for Semi-extended Regular Expressions}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {699--708}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_65}, doi = {10.1007/3-540-44612-5\_65}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Yamamoto00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Zaks00, author = {Shmuel Zaks}, editor = {Mogens Nielsen and Branislav Rovan}, title = {On the Use of Duality and Geometry in Layouts for {ATM} Networks}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {114--131}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_8}, doi = {10.1007/3-540-44612-5\_8}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Zaks00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mfcs/2000, editor = {Mogens Nielsen and Branislav Rovan}, title = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5}, doi = {10.1007/3-540-44612-5}, isbn = {3-540-67901-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/2000.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.