Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mfcs/mfcs86.bht:"
download as .bib file
@inproceedings{DBLP:conf/mfcs/Abdallah86,
author = {M. A. Nait Abdallah},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {AL-Khowarizmi: {A} Formal System for Higher-Order Logic Programming},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {545--553},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016281},
doi = {10.1007/BFB0016281},
timestamp = {Sat, 30 Sep 2023 09:52:35 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Abdallah86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AblaevF86,
author = {Farid M. Ablayev and
Rusins Freivalds},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Why Sometimes Probabilistic Algorithms Can Be More Effective},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {1--14},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016230},
doi = {10.1007/BFB0016230},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AblaevF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AltHMP86,
author = {Helmut Alt and
Torben Hagerup and
Kurt Mehlhorn and
Franco P. Preparata},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Deterministic Simulation of Idealized Parallel Computers on More Realistic
Ones},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {199--208},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016243},
doi = {10.1007/BFB0016243},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AltHMP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AstesianoRW86,
author = {Egidio Astesiano and
Gianna Reggio and
Martin Wirsing},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Relational Specifications and Observational Semantics},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {209--217},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016244},
doi = {10.1007/BFB0016244},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AstesianoRW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Becker86,
author = {Bernd Becker},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Efficient Testing of Optimal Time Adders (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {218--229},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016245},
doi = {10.1007/BFB0016245},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Becker86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BerstelS86,
author = {Jean Berstel and
Jacques Sakarovitch},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Recent Results in the Theory of Rational Sets},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {15--28},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016231},
doi = {10.1007/BFB0016231},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BerstelS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Boas86,
author = {Peter van Emde Boas},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {A Semantical Model for Integration and Modularization of Rules},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {78--92},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016235},
doi = {10.1007/BFB0016235},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Boas86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Broy86,
author = {Manfred Broy},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Partial Interpretations of Higher Order Algebraic Types (Extended
Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {29--43},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016232},
doi = {10.1007/BFB0016232},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Broy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BublitzSVW86,
author = {Siegfried Bublitz and
Ute Sch{\"{u}}rfeld and
Bernd Voigt and
Ingo Wegener},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Properties of Complexity Measures for PRAMs and WRAMs},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {230--238},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016246},
doi = {10.1007/BFB0016246},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BublitzSVW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Cazanesu86,
author = {Virgil Emil Cazanescu},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Iterative Systems of Equations},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {239--246},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016247},
doi = {10.1007/BFB0016247},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Cazanesu86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Chistov86,
author = {Alexander L. Chistov},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Polynomial Complexity of the Newton-Puiseux Algorithm},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {247--255},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016248},
doi = {10.1007/BFB0016248},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Chistov86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChrobakR86,
author = {Marek Chrobak and
Wojciech Rytter},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Unique Deciperability for Partially Commutative Alphabet (Extended
Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {256--263},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016249},
doi = {10.1007/BFB0016249},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ChrobakR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Chytil86,
author = {Michal Chytil},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Kins of Context-Free Languages},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {44--58},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016233},
doi = {10.1007/BFB0016233},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Chytil86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CulikK86,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {The Equivalence of Finite Valued Transducers (on {HDTOL} Languages)
is Decidable},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {264--272},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016250},
doi = {10.1007/BFB0016250},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/CulikK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Diks86,
author = {Krzysztof Diks},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {A Fast Parallel Algorithm for Six-Colouring of Planar Graphs (Extended
Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {273--282},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016251},
doi = {10.1007/BFB0016251},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Diks86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Durian86,
author = {Branislav Durian},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Quicksort Without a Stack},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {283--289},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016252},
doi = {10.1007/BFB0016252},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Durian86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DvorakD86,
author = {S. Dvor{\'{a}}k and
Branislav Durian},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Towards an Efficient Merging},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {290--298},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016253},
doi = {10.1007/BFB0016253},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DvorakD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EhrigFPB86,
author = {Hartmut Ehrig and
Werner Fey and
Francesco Parisi{-}Presicce and
Edward K. Blum},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Algebraic Theory of Module Specification with Constraints},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {59--77},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016234},
doi = {10.1007/BFB0016234},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EhrigFPB86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EsikDGV86,
author = {Zolt{\'{a}}n {\'{E}}sik and
P{\'{a}}l D{\"{o}}m{\"{o}}si and
Ferenc G{\'{e}}cseg and
J. Vir{\'{a}}gh},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Homomorphic Realizations of Automata with Compositions},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {299--307},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016254},
doi = {10.1007/BFB0016254},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EsikDGV86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Fischer86,
author = {Thomas M. Fischer},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Refined Bounds on the Complexity of Sorting and Selection in D-Dimensional
Space},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {308--314},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016255},
doi = {10.1007/BFB0016255},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Fischer86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FischerW86,
author = {Thomas M. Fischer and
K. Wolfrum},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {On the Inherent Combinatorial Complexity of Geometric Problems in
D-Dimensional Space},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {315--324},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016256},
doi = {10.1007/BFB0016256},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FischerW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Flajolet86,
author = {Philippe Flajolet},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {The Evolution of Two Stacks in Bounded Space and Random Walks in a
Triangle},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {325--340},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016257},
doi = {10.1007/BFB0016257},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Flajolet86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Fleischhack86,
author = {Hans Fleischhack},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {P-Genericity and Strong G-Genericity},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {341--349},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016258},
doi = {10.1007/BFB0016258},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Fleischhack86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Frougny86,
author = {Christiane Frougny},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Fibonacci Numeration Systems and Rational Functions},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {350--359},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016259},
doi = {10.1007/BFB0016259},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Frougny86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Gammatie86,
author = {B. Gammatie},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Safe Implementation Equivalence for Asynchronous Nondeterministic
Processes},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {360--369},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016260},
doi = {10.1007/BFB0016260},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Gammatie86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Gathen86,
author = {Joachim von zur Gathen},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Parallel Arithmetic Computations: {A} Survey},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {93--112},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016236},
doi = {10.1007/BFB0016236},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Gathen86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Geffert86,
author = {Viliam Geffert},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Grammars with Context Dependency Restricted to Synchronization},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {370--378},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016261},
doi = {10.1007/BFB0016261},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Geffert86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoldreichMW86,
author = {Oded Goldreich and
Silvio Micali and
Avi Wigderson},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Proofs that Release Minimum Knowledge},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {639--650},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016291},
doi = {10.1007/BFB0016291},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/GoldreichMW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoralcikovaK86,
author = {A. Goralcikov{\'{a}} and
V{\'{a}}clav Koubek},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Some Improved Parallelisms for Graphs},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {379--385},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016262},
doi = {10.1007/BFB0016262},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoralcikovaK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Graf86,
author = {Susanne Graf},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {A Complete Inference System for an Algebra or Regular Acceptance Models},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {386--395},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016263},
doi = {10.1007/BFB0016263},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Graf86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GundermannW86,
author = {Thomas Gundermann and
Gerd Wechsung},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Nondeterministic Turing Machines with Modified Acceptance},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {396--404},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016264},
doi = {10.1007/BFB0016264},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GundermannW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hemmerling86,
author = {Armin Hemmerling},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Remark on the Power of Compass (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {405--413},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016265},
doi = {10.1007/BFB0016265},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hemmerling86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hinz86,
author = {Friedhelm Hinz},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Regular Chain Code Picture Languages of Nonlinear Descriptional Complexity},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {414--421},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016266},
doi = {10.1007/BFB0016266},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hinz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hirose86,
author = {Ken Hirose},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {An Approach to Proof Checker},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {113--127},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016237},
doi = {10.1007/BFB0016237},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hirose86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hopcroft86,
author = {John E. Hopcroft},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {The Promise of Electronic Prototyping},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {128--139},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016238},
doi = {10.1007/BFB0016238},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hopcroft86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HowellR86,
author = {Rodney R. Howell and
Louis E. Rosier},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded
Multicounter Machines},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {422--430},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016267},
doi = {10.1007/BFB0016267},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HowellR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hromkovic86,
author = {Juraj Hromkovic},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {A New Approach to Defining the Complexity for {VLSI}},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {431--439},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016268},
doi = {10.1007/BFB0016268},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hromkovic86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ibarra86,
author = {Oscar H. Ibarra},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Systolic Arrays: Characterizations and Complexity},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {140--153},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016239},
doi = {10.1007/BFB0016239},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ibarra86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Jukna86,
author = {Stasys Jukna},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Lower Bounds on the Complexity of Local Circuits (Preliminary Report)},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {440--448},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016269},
doi = {10.1007/BFB0016269},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Jukna86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kollar86,
author = {Lubor Koll{\'{a}}r},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Optimal Sorting of Seven Element Sets},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {449--457},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016270},
doi = {10.1007/BFB0016270},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kollar86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Korec86,
author = {Ivan Korec},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Undecidable Problems Concerning Generalized Pascal Triangles of Commutative
Algebras},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {458--466},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016271},
doi = {10.1007/BFB0016271},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Korec86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KoubekR86,
author = {V{\'{a}}clav Koubek and
Anton{\'{\i}}n R{\'{\i}}ha},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Regular Augmentation of Automata and Transducers (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {467--475},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016272},
doi = {10.1007/BFB0016272},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KoubekR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kramosil86,
author = {Ivan Kramosil},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {On Some Types of Pseudo-Random Sequences},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {476--483},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016273},
doi = {10.1007/BFB0016273},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kramosil86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kriegel86,
author = {Klaus Kriegel},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {The Space Complexity of the Accessibility Problem for Undirected Graphs
of Log {N} Bounded Genus},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {484--492},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016274},
doi = {10.1007/BFB0016274},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kriegel86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kucera86,
author = {Anton{\'{\i}}n Kucera},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {An Alternative, Priority-Free, Solution to Post's Problem},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {493--500},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016275},
doi = {10.1007/BFB0016275},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kucera86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KuceraMPT86,
author = {Ludek Kucera and
Alberto Marchetti{-}Spaccamela and
Marco Protasi and
Maurizio Talamo},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Near Optimal Algorithms for Finding Minimum Steiner Trees on Random
Graphs},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {501--511},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016276},
doi = {10.1007/BFB0016276},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KuceraMPT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kuich86,
author = {Werner Kuich},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Matrix Systems and Principal Cones of Algebraic Power Series},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {512--517},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016277},
doi = {10.1007/BFB0016277},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kuich86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Lange86,
author = {Klaus{-}J{\"{o}}rn Lange},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Two Characterizations of the Logarithmic Alternation Hierarchy},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {518--526},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016278},
doi = {10.1007/BFB0016278},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Lange86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Lee86,
author = {D. T. Lee},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Geometric Location Problems and Their Complexity},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {154--167},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016240},
doi = {10.1007/BFB0016240},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Lee86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Meinel86,
author = {Christoph Meinel},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {p-Projection Reducibility and the Complexity Classes L(nonuniform)
and NL(nonuniform)},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {527--535},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016279},
doi = {10.1007/BFB0016279},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Meinel86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mery86,
author = {Dominique M{\'{e}}ry},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {A Proof System to Derive Evantually Properties Under Justice Hypothesis},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {536--544},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016280},
doi = {10.1007/BFB0016280},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Mery86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Munro86,
author = {J. Ian Munro},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Developing Implicit Data Structures},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {168--176},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016241},
doi = {10.1007/BFB0016241},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Munro86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RasZ86,
author = {Zbigniew W. Ras and
Maria Zemankova},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Learning in Knowledge Based System, a Possibilistic Approach},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {630--638},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016290},
doi = {10.1007/BFB0016290},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RasZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RomanianS86,
author = {Fabienne Romian and
Jacques Sakarovitch},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {One-Sided Dyck Reduction Over Two Letter Alphabet and Deterministic
Context-Free Languages},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {554--563},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016282},
doi = {10.1007/BFB0016282},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RomanianS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Rozoy86,
author = {Brigitte Rozoy},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Model and Complexity of Termination for Distributed Computations},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {564--572},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016283},
doi = {10.1007/BFB0016283},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Rozoy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Rutenburg86,
author = {Vladislav Rutenburg},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Complexity of Generalized Graph Coloring},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {573--581},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016284},
doi = {10.1007/BFB0016284},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Rutenburg86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Spirakis86,
author = {Paul G. Spirakis},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {The Parallel Complexity of Deadlock Detection},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {582--593},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016285},
doi = {10.1007/BFB0016285},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Spirakis86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/StaigerN86,
author = {Ludwig Staiger and
Werner Nehrlich},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {The Centers of Context-Sensitive Languages},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {594--601},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016286},
doi = {10.1007/BFB0016286},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/StaigerN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/TarhioU86,
author = {Jorma Tarhio and
Esko Ukkonen},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {A Greedy Algorithm for Constructing Shortest Common Superstrings},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {602--610},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016287},
doi = {10.1007/BFB0016287},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/TarhioU86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Tiuryn86,
author = {Jerzy Tiuryn},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Higher-Order Arrays and Stacks in Programming. An Application of Complexity
Theory to Logics of Programs},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {177--198},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016242},
doi = {10.1007/BFB0016242},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Tiuryn86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Vogler86,
author = {Heiko Vogler},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {The OI-Hierarchy is Closed under Control},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {611--619},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016288},
doi = {10.1007/BFB0016288},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Vogler86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WeberS86,
author = {Andreas Weber and
Helmut Seidl},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {On the Degree of Ambiguity of Finite Automata},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {620--629},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016289},
doi = {10.1007/BFB0016289},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WeberS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1986,
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016229},
doi = {10.1007/BFB0016229},
isbn = {3-540-16783-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-23 23:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
