Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/mfcs/AgarwalM92,
  author       = {Pankaj K. Agarwal and
                  Jir{\'{\i}} Matousek},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {On Range Searching with Semialgebraic Sets},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_1},
  doi          = {10.1007/3-540-55808-X\_1},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/AgarwalM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BastDH92,
  author       = {Hannah Bast and
                  Martin Dietzfelbinger and
                  Torben Hagerup},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {A Perfect Parallel Dictionary},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {133--141},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_11},
  doi          = {10.1007/3-540-55808-X\_11},
  timestamp    = {Mon, 14 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/BastDH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BeckerH92,
  author       = {Bernd Becker and
                  Joachim Hartmann},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Some Remarks on the Test Complexity of Iterative Logic Arrays},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {142--152},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_12},
  doi          = {10.1007/3-540-55808-X\_12},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/BeckerH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BurtschickH92,
  author       = {Hans{-}J{\"{o}}rg Burtschick and
                  Albrecht Hoene},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {The Degree Structure of 1-L Reductions},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {153--161},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_13},
  doi          = {10.1007/3-540-55808-X\_13},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/BurtschickH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CaiHV92,
  author       = {Jin{-}yi Cai and
                  Lane A. Hemachandra and
                  Jozef Vyskoc},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Promise Problems and Access to Unambiguous Computation},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {162--171},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_14},
  doi          = {10.1007/3-540-55808-X\_14},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/CaiHV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChariRR92,
  author       = {Suresh Chari and
                  Desh Ranjan and
                  Pankaj Rohatgi},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {On the Complexity of Incremental Computation},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {172--180},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_15},
  doi          = {10.1007/3-540-55808-X\_15},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ChariRR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChoffrutG92,
  author       = {Christian Choffrut and
                  Massimiliano Goldwurm},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Rational Transductions and Complexity of Counting Problems},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {181--190},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_16},
  doi          = {10.1007/3-540-55808-X\_16},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ChoffrutG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ComonF92,
  author       = {Hubert Comon and
                  Maribel Fern{\'{a}}ndez},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Negation Elimination in Equational Formulae},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {191--199},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_17},
  doi          = {10.1007/3-540-55808-X\_17},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ComonF92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CostaSSE92,
  author       = {Jos{\'{e}} F{\'{e}}lix Costa and
                  Am{\'{\i}}lcar Sernadas and
                  Cristina Sernadas and
                  Hans{-}Dieter Ehrich},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Object Interaction},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {200--208},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_18},
  doi          = {10.1007/3-540-55808-X\_18},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/CostaSSE92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CurienHR92,
  author       = {Pierre{-}Louis Curien and
                  Th{\'{e}}r{\`{e}}se Hardin and
                  Alejandro R{\'{\i}}os},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Strong Normalization of Substitutions},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {209--217},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_19},
  doi          = {10.1007/3-540-55808-X\_19},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/CurienHR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DaleyK92,
  author       = {Robert P. Daley and
                  Bala Kalyanasundaram},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Probabilistic and Pluralistic Learners with Mind Changes},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {218--226},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_20},
  doi          = {10.1007/3-540-55808-X\_20},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/DaleyK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DammHL92,
  author       = {Carsten Damm and
                  Markus Holzer and
                  Klaus{-}J{\"{o}}rn Lange},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Parallel Complexity of Iterated Morphisms and the Arithmetic of Small
                  Numbers},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {227--235},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_21},
  doi          = {10.1007/3-540-55808-X\_21},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/DammHL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DerencourtKLT92,
  author       = {Denis Derencourt and
                  Juhani Karhum{\"{a}}ki and
                  Michel Latteux and
                  Alain Terlutte},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {On Computational Power of Weighted Finite Automata},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {236--245},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_22},
  doi          = {10.1007/3-540-55808-X\_22},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/DerencourtKLT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Diaz92,
  author       = {Josep D{\'{\i}}az},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Graph Layout Problems},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {14--23},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_2},
  doi          = {10.1007/3-540-55808-X\_2},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Diaz92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FeldmannM92,
  author       = {Rainer Feldmann and
                  Peter Mysliwietz},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {The Shuffle Exchange Network has a Hamiltonian Path},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {246--254},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_23},
  doi          = {10.1007/3-540-55808-X\_23},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FeldmannM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GastinP92,
  author       = {Paul Gastin and
                  Antoine Petit},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Poset Properties of Complex Traces},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {255--263},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_24},
  doi          = {10.1007/3-540-55808-X\_24},
  timestamp    = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/GastinP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Goerdt92,
  author       = {Andreas Goerdt},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {A Threshold for Unsatisfiability},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {264--274},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_25},
  doi          = {10.1007/3-540-55808-X\_25},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Goerdt92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Gold92,
  author       = {Robert Gold},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Dataflow Semantics for Petri Nets},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {275--283},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_26},
  doi          = {10.1007/3-540-55808-X\_26},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Gold92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GuessarianV92,
  author       = {Ir{\`{e}}ne Guessarian and
                  Marcos Veloso Peixoto},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {About Boundedness for some {DATALOG} and DATALOG{\_}neg Programs},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {284--297},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_27},
  doi          = {10.1007/3-540-55808-X\_27},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/GuessarianV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HagerupP92,
  author       = {Torben Hagerup and
                  Ola Petersson},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Merging and Sorting Strings in Parallel},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {298--306},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_28},
  doi          = {10.1007/3-540-55808-X\_28},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/HagerupP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JancarMP92,
  author       = {Petr Jancar and
                  Frantisek Mr{\'{a}}z and
                  Martin Pl{\'{a}}tek},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Characterization of Context-Free Languages by Erasing Automata},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {307--314},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_29},
  doi          = {10.1007/3-540-55808-X\_29},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/JancarMP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kari92,
  author       = {Lila Kari},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Insertion and Deletion of Words: Determinism and Reversibility},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {315--326},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_30},
  doi          = {10.1007/3-540-55808-X\_30},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kari92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kascak92,
  author       = {Frantisek Kascak},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Small Universal One-State Linear Operator Algorithm},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {327--335},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_31},
  doi          = {10.1007/3-540-55808-X\_31},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kascak92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LaneveM92,
  author       = {Cosimo Laneve and
                  Ugo Montanari},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Mobility in the CC-Paradigm},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {336--345},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_32},
  doi          = {10.1007/3-540-55808-X\_32},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LaneveM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LangeR92,
  author       = {Klaus{-}J{\"{o}}rn Lange and
                  Peter Rossmanith},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {The Emptiness Problem for Intersections of Regular Languages},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {346--354},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_33},
  doi          = {10.1007/3-540-55808-X\_33},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LangeR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LangeRR92,
  author       = {Klaus{-}J{\"{o}}rn Lange and
                  Peter Rossmanith and
                  Wojciech Rytter},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Parallel Recognition and Ranking of Context-Free Languages},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {24--36},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_3},
  doi          = {10.1007/3-540-55808-X\_3},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LangeRR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Leung92,
  author       = {Hing Leung},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {On Finite Automata with Limited Nondeterminism},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {355--363},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_34},
  doi          = {10.1007/3-540-55808-X\_34},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Leung92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LitovskyMS92,
  author       = {Igor Litovsky and
                  Yves M{\'{e}}tivier and
                  {\'{E}}ric Sopena},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Definitions and Comparisons of Local Computations on Graphs},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {364--373},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_35},
  doi          = {10.1007/3-540-55808-X\_35},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/LitovskyMS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Martin92,
  author       = {Bruno Martin},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Efficient Unidimensional Universal Cellular Automaton},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {374--382},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_36},
  doi          = {10.1007/3-540-55808-X\_36},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Martin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MaruyamaM92,
  author       = {Osamu Maruyama and
                  Satoru Miyano},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Inferring a Tree from Walks},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {383--391},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_37},
  doi          = {10.1007/3-540-55808-X\_37},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/MaruyamaM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mayordomo92,
  author       = {Elvira Mayordomo},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Almost Every Set in Exponential Time is P-Bi-Immune},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {392--400},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_38},
  doi          = {10.1007/3-540-55808-X\_38},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Mayordomo92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mihail92,
  author       = {Milena Mihail},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {On the Expansion of Combinatorial Polytopes},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {37--49},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_4},
  doi          = {10.1007/3-540-55808-X\_4},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Mihail92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MurphyP92,
  author       = {David Murphy and
                  Axel Poign{\'{e}}},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {A Functorial Semantics for Observed Concurrency},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {401--411},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_39},
  doi          = {10.1007/3-540-55808-X\_39},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/MurphyP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ochmanski92,
  author       = {Edward Ochmanski},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Modelling Concurrency with Semi-Commutations},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {412--420},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_40},
  doi          = {10.1007/3-540-55808-X\_40},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Ochmanski92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Orponen92,
  author       = {Pekka Orponen},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Neural Networks and Complexity Theory},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {50--61},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_5},
  doi          = {10.1007/3-540-55808-X\_5},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Orponen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pedersen92,
  author       = {John Pedersen},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Decision Problems for Cellular Automata and Their Semigroups},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {421--429},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_41},
  doi          = {10.1007/3-540-55808-X\_41},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Pedersen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PinnaP92,
  author       = {G. Michele Pinna and
                  Axel Poign{\'{e}}},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {On the Nature of Events},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {430--441},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_42},
  doi          = {10.1007/3-540-55808-X\_42},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/PinnaP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PreilowskiDW92,
  author       = {Waldemar Preilowski and
                  Elias Dahlhaus and
                  Gerd Wechsung},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {New Parallel Algorithms for Convex Hull and Triangulation in 3-Dimensional
                  Space},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {442--450},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_43},
  doi          = {10.1007/3-540-55808-X\_43},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/PreilowskiDW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Przymusinski92,
  author       = {Teodor C. Przymusinski},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Two Simple Characterizations of Well-Founded Semantics},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {451--462},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_44},
  doi          = {10.1007/3-540-55808-X\_44},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Przymusinski92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ramesh92,
  author       = {S. Ramesh},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Fully Abstract Semantics for Higher Order Communicating Systems},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {463--471},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_45},
  doi          = {10.1007/3-540-55808-X\_45},
  timestamp    = {Thu, 07 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Ramesh92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Reimen92,
  author       = {Nicolas Reimen},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Superposable Trellis Automata},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {472--482},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_46},
  doi          = {10.1007/3-540-55808-X\_46},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Reimen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RoosA92,
  author       = {Thomas Roos and
                  Gerhard Albers},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Maintaining Proximity in Higher Dimensional Spaces},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {483--493},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_47},
  doi          = {10.1007/3-540-55808-X\_47},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/RoosA92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/SzilardYZS92,
  author       = {Andrew Szilard and
                  Sheng Yu and
                  Kaizhong Zhang and
                  Jeffrey O. Shallit},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Characterizing Regular Languages with Polynomial Densities},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {494--503},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_48},
  doi          = {10.1007/3-540-55808-X\_48},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/SzilardYZS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/TuckerZ92,
  author       = {John V. Tucker and
                  Jeffery I. Zucker},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Theory of Computation over Stream Algebras, and its Applications},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {62--80},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_6},
  doi          = {10.1007/3-540-55808-X\_6},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/TuckerZ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Vishkin92,
  author       = {Uzi Vishkin},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Methods in Parallel Algorithmics (Abstract)},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {81},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_7},
  doi          = {10.1007/3-540-55808-X\_7},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Vishkin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wang92,
  author       = {Dongming Wang},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {A Strategy for Speeding-up the Computation of Characteristic Sets},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {504--510},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_49},
  doi          = {10.1007/3-540-55808-X\_49},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Wang92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Watanabe92,
  author       = {Osamu Watanabe},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {On the Complexity of Small Description and Related Topics},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {82--94},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_8},
  doi          = {10.1007/3-540-55808-X\_8},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Watanabe92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wiedermann92,
  author       = {Juraj Wiedermann},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Weak Parallel Machines: a New Class of Physically Feasible Parallel
                  Machine Models},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {95--111},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_9},
  doi          = {10.1007/3-540-55808-X\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Wiedermann92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wigderson92,
  author       = {Avi Wigderson},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {The Complexity of Graph Connectivity},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {112--132},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_10},
  doi          = {10.1007/3-540-55808-X\_10},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Wigderson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WrathallDO92,
  author       = {Celia Wrathall and
                  Volker Diekert and
                  Friedrich Otto},
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {One-Rule Trace-Rewriting Systems and Confluence},
  booktitle    = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  pages        = {511--521},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X\_50},
  doi          = {10.1007/3-540-55808-X\_50},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/WrathallDO92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1992,
  editor       = {Ivan M. Havel and
                  V{\'{a}}clav Koubek},
  title        = {Mathematical Foundations of Computer Science 1992, 17th International
                  Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {629},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55808-X},
  doi          = {10.1007/3-540-55808-X},
  isbn         = {3-540-55808-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics