Search dblp for Publications

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

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.