Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/mfcs/mfcs92.bht:"
@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} }
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.