default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mfcs/mfcs97.bht:"
download as .bib file
@inproceedings{DBLP:conf/mfcs/Abramsky97,
author = {Samson Abramsky},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Game Semantics for Programming Languages (Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {3--4},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029944},
doi = {10.1007/BFB0029944},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Abramsky97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AfratiGR97,
author = {Foto N. Afrati and
Ir{\`{e}}ne Guessarian and
Michel de Rougemont},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {The Expressiveness of Datalog Circuits {(DAC)}},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {119--128},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029955},
doi = {10.1007/BFB0029955},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AfratiGR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Babai97,
author = {L{\'{a}}szl{\'{o}} Babai},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Communication Complexity},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {5--18},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029945},
doi = {10.1007/BFB0029945},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Babai97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BerardP97,
author = {B{\'{e}}atrice B{\'{e}}rard and
Claudine Picaronny},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Accepting Zeno Words Without Making Time Stand Still},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {149--158},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029958},
doi = {10.1007/BFB0029958},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BerardP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BernardinelloP97,
author = {Luca Bernardinello and
Lucia Pomello},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {A Category of Transition Systems and Its Relations with Orthomodular
Posets},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {139--148},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029957},
doi = {10.1007/BFB0029957},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BernardinelloP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bodlaender97,
author = {Hans L. Bodlaender},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Treewidth: Algorithmic Techniques and Results},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {19--36},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029946},
doi = {10.1007/BFB0029946},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Bodlaender97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BolligW97,
author = {Beate Bollig and
Ingo Wegener},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Complexity Theoretical Results on Partitioned (Nondeterministic) Binary
Decision Diagrams},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {159--168},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029959},
doi = {10.1007/BFB0029959},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BolligW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BonsangueK97,
author = {Marcello M. Bonsangue and
Joost N. Kok},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Specifying Computations Using Hyper Transition Systems},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {169--178},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029960},
doi = {10.1007/BFB0029960},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BonsangueK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CattaneoFMM97,
author = {Gianpiero Cattaneo and
Enrico Formenti and
Luciano Margara and
Jacques Mazoyer},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {A Shift-Invariant Metric on S\({}^{\mbox{zz}}\) Inducing a Non-trivial
Tolology},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {179--188},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029961},
doi = {10.1007/BFB0029961},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CattaneoFMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Chen97,
author = {Gang Chen},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Subtyping Calculus of Construction (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {189--198},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029962},
doi = {10.1007/BFB0029962},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Chen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChoffrurP97,
author = {Christian Choffrut and
Giovanni Pighizzini},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Distances Between Languages and Reflexivity of Relations},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {199--208},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029963},
doi = {10.1007/BFB0029963},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ChoffrurP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dershowitz97,
author = {Nachum Dershowitz},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {When are Two Rewrite Systems More than None?},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {37--43},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029947},
doi = {10.1007/BFB0029947},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Dershowitz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Drewes97,
author = {Frank Drewes},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {On the Generation of Trees by Hyperedge Replacement},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {229--238},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029966},
doi = {10.1007/BFB0029966},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Drewes97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dwork97,
author = {Cynthia Dwork},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Positive Applications of Lattices to Cryptography},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {44--51},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029948},
doi = {10.1007/BFB0029948},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Dwork97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FernauS97,
author = {Henning Fernau and
Ralf Stiebe},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Regulations by Valences},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {239--248},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029967},
doi = {10.1007/BFB0029967},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/FernauS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FerrariM97,
author = {Gian{-}Luigi Ferrari and
Ugo Montanari},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {A Tile-Based Coordination View of Asynchronous pi-Calculus},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {52--70},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029949},
doi = {10.1007/BFB0029949},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FerrariM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FokkinkP97,
author = {Wan J. Fokkink and
Jaco van de Pol},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Simulation as a Correct Transformation of Rewrite Systems},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {249--258},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029968},
doi = {10.1007/BFB0029968},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FokkinkP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Gavoille97,
author = {Cyril Gavoille},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {On the Dilation of Interval Routing},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {259--268},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029969},
doi = {10.1007/BFB0029969},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Gavoille97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Goerdt97,
author = {Andreas Goerdt},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {The Giant Component Threshold for Random Regular Graphs with Edge
Faults},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {279--288},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029971},
doi = {10.1007/BFB0029971},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Goerdt97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HeckelEWC97,
author = {Reiko Heckel and
Hartmut Ehrig and
Uwe Wolter and
Andrea Corradini},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Integrating the Specification Techniques of Graph Transformation and
Temporal Logic},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {219--228},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029965},
doi = {10.1007/BFB0029965},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HeckelEWC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Heinemann97,
author = {Bernhard Heinemann},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {A Topological Generalization of Propositional Linear Time Temporal
Logic},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {289--297},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029972},
doi = {10.1007/BFB0029972},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Heinemann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Holzer97,
author = {Markus Holzer},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Multi-Head Finite Automata: Data-Independent Versus Data-Dependent
Computations},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {299--308},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029973},
doi = {10.1007/BFB0029973},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Holzer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HromkovicS97,
author = {Juraj Hromkovic and
Georg Schnitger},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Communication Complexity and Sequential Compuation},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {71--84},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029950},
doi = {10.1007/BFB0029950},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HromkovicS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Iwama97,
author = {Kazuo Iwama},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Complexity of Finding Short Resolution Proofs},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {309--318},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029974},
doi = {10.1007/BFB0029974},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Iwama97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JuknaRSW97,
author = {Stasys Jukna and
Alexander A. Razborov and
Petr Savick{\'{y}} and
Ingo Wegener},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {On {O} versus {NP} {\textbackslash}cap co-NP for Decision Trees and
Read-Once Branching Programs},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {319--326},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029975},
doi = {10.1007/BFB0029975},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JuknaRSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KarnerK97,
author = {Georg Karner and
Werner Kuich},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {A Characterization of Abstract Families of Algebraic Power Series},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {327--336},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029976},
doi = {10.1007/BFB0029976},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KarnerK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KhasidashviliG97,
author = {Zurab Khasidashvili and
John R. W. Glauert},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Relating Conflict-Free Stable Transition and Event Models (Extended
Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {269--278},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029970},
doi = {10.1007/BFB0029970},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KhasidashviliG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KobayashiO97,
author = {Yuji Kobayashi and
Friedrich Otto},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Repetitiveness of D0L-Languages Is Decidable in Polynomial Time},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {337--346},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029977},
doi = {10.1007/BFB0029977},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KobayashiO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KolpakovK97,
author = {Roman M. Kolpakov and
Gregory Kucherov},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Minimal Letter Frequency in n-th Power-Free Binary Words},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {347--357},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029978},
doi = {10.1007/BFB0029978},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/KolpakovK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Korec97,
author = {Ivan Korec},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Real-Time Generation of Primes by a One-Dimensional Cellular Automaton
with 11 States},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {358--367},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029979},
doi = {10.1007/BFB0029979},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Korec97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Krajicek97,
author = {Jan Kraj{\'{\i}}cek},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Lower Bounds for a Proof System with an Expentential Speed-up over
Constant-Depth Frege Systems and over Polynomial Calculus},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {85--90},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029951},
doi = {10.1007/BFB0029951},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Krajicek97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KrznaricL97,
author = {Drago Krznaric and
Christos Levcopoulos},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Optimal Algorithms for Complete Linkage Clustering in d Dimensions},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {368--377},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029980},
doi = {10.1007/BFB0029980},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KrznaricL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LiskiewiczR97,
author = {Maciej Liskiewicz and
R{\"{u}}diger Reischuk},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Computational Limitations of Stochastic Turing Machines and Arthur-Merlin
Games with Small Space Bounds},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {91--107},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029952},
doi = {10.1007/BFB0029952},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LiskiewiczR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ManziniM97,
author = {Giovanni Manzini and
Luciano Margara},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Invertible Linear Cellular Automata over z\({}_{\mbox{m}}\): Algorithmic
and Dynamical Aspects},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {378--387},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029981},
doi = {10.1007/BFB0029981},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ManziniM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Martin-VideMP97,
author = {Carlos Mart{\'{\i}}n{-}Vide and
Joan Miquel{-}Verges and
Gheorghe Paun},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Two-Level Contextual Grammars: The Internal Case},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {388--397},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029982},
doi = {10.1007/BFB0029982},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Martin-VideMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Meer97,
author = {Klaus Meer},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Counting Problems over the Reals},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {398--407},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029983},
doi = {10.1007/BFB0029983},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Meer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MeinelT97,
author = {Christoph Meinel and
Thorsten Theobald},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {On the Influence of the State Encoding on OBDD-Representations of
Finite State Machines},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {408--417},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029984},
doi = {10.1007/BFB0029984},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MeinelT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MeyerP97,
author = {Rapha{\"{e}}l Meyer and
Antoine Petit},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Decomposition of TrPTL Formulas},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {418--427},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029985},
doi = {10.1007/BFB0029985},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/MeyerP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mundhenk97,
author = {Martin Mundhenk},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {NP-Hard Sets Have Many Hard Instances},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {428--437},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029986},
doi = {10.1007/BFB0029986},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Mundhenk97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MundhenkGA97,
author = {Martin Mundhenk and
Judy Goldsmith and
Eric Allender},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {The Complexity of Policy Evaluation for Finite-Horizon Partially-Observable
Markov Decision Processes},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {129--138},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029956},
doi = {10.1007/BFB0029956},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MundhenkGA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Nickelsen97,
author = {Arfst Nickelsen},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Deciding Verbose Languages with Linear Advice},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {438--447},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029987},
doi = {10.1007/BFB0029987},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Nickelsen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Petersen97,
author = {Holger Petersen},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Homomorphic Images os Sentential Forms and Terminating Grammars (Extended
Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {448--457},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029988},
doi = {10.1007/BFB0029988},
timestamp = {Fri, 15 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Petersen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Plump97,
author = {Detlef Plump},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Simplification Orders for Term Graph Rewriting},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {458--467},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029989},
doi = {10.1007/BFB0029989},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Plump97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RensinkW97,
author = {Arend Rensink and
Heike Wehrheim},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Dependency-Based Action Refinement},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {468--477},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029990},
doi = {10.1007/BFB0029990},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RensinkW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Roth97,
author = {Dan Roth},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Learning to Perform Knowledge-Intensive Inferences},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {108--109},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029953},
doi = {10.1007/BFB0029953},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Roth97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RylRC97,
author = {Isabelle Ryl and
Yves Roos and
Mireille Clerbout},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Partial Characterization of Synchronization Languages},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {209--218},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029964},
doi = {10.1007/BFB0029964},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/RylRC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/SavickyZ97,
author = {Petr Savick{\'{y}} and
Stanislav Z{\'{a}}k},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {A Hierarchy for (1, +k)-Branching Programs with Respect of k},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {478--487},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029991},
doi = {10.1007/BFB0029991},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/SavickyZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Schoning97,
author = {Uwe Sch{\"{o}}ning},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Resolution Proofs, Exponential Bounds, and Kolmogorov Complexity},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {110--116},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029954},
doi = {10.1007/BFB0029954},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Schoning97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Sibeyn97,
author = {Jop F. Sibeyn},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Routing with Finite Speeds of Memory and Network},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {488--497},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029992},
doi = {10.1007/BFB0029992},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Sibeyn97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Tyszkiewicz97,
author = {Jerzy Tyszkiewicz},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Queries and Algorithms Computable by Polynomial Time Existential Reflective
Machines (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {498--507},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029993},
doi = {10.1007/BFB0029993},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Tyszkiewicz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Vogler97,
author = {Walter Vogler},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Partial Order Semantics and Read Arcs},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {508--517},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029994},
doi = {10.1007/BFB0029994},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Vogler97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1997,
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029943},
doi = {10.1007/BFB0029943},
isbn = {3-540-63437-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1997.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.
retrieved on 2024-11-25 09:27 CET 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:
