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/mfcs98.bht:"
download as .bib file
@inproceedings{DBLP:conf/mfcs/AldazHMMP98,
author = {Mikel Aldaz and
Joos Heintz and
Guillermo Matera and
Jos{\'{e}} Luis Monta{\~{n}}a and
Luis Miguel Pardo},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Combinatorial Hardness Proofs for Polynomial Evaluation},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {167--175},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055765},
doi = {10.1007/BFB0055765},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AldazHMMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AlekhnovichBMP98,
author = {Michael Alekhnovich and
Samuel R. Buss and
Shlomo Moran and
Toniann Pitassi},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Minimum Propositional Proof Length is NP-Hard to Linearly Approximate},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {176--184},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055766},
doi = {10.1007/BFB0055766},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AlekhnovichBMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AmanoM98,
author = {Kazuyuki Amano and
Akira Maruoka},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {A Superpolynomial Lower Bound for a Circuit Computing the Clique Function
with At Most {(1/6)} log log \emph{n} Negation Gates},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {399--408},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055789},
doi = {10.1007/BFB0055789},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AmanoM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AmbainisBL98,
author = {Andris Ambainis and
David A. Mix Barrington and
Huong LeThanh},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On Counting AC\({}^{\mbox{0}}\) Circuits with Negative Constants},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {409--417},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055790},
doi = {10.1007/BFB0055790},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AmbainisBL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ambos-SpiesLM98,
author = {Klaus Ambos{-}Spies and
Steffen Lempp and
Gunther Mainhardt},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Randomness vs. Completeness: On the Diagonalization Strength of Resource-Bounded
Random Sets},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {465--473},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055796},
doi = {10.1007/BFB0055796},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ambos-SpiesLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AulettaCKP98,
author = {Vincenzo Auletta and
Ioannis Caragiannis and
Christos Kaklamanis and
Pino Persiano},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On the Complexity of Wavelength Converters},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {771--779},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055828},
doi = {10.1007/BFB0055828},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AulettaCKP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AusielloIN98,
author = {Giorgio Ausiello and
Giuseppe F. Italiano and
Umberto Nanni},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Hypergraph Traversal Revisited: Cost Measures and Dynamic Algorithms},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {1--16},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055754},
doi = {10.1007/BFB0055754},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AusielloIN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BaazCFV98,
author = {Matthias Baaz and
Agata Ciabattoni and
Christian G. Ferm{\"{u}}ller and
Helmut Veith},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Proof Theory of Fuzzy Logics: Urquhart's {C} and Related Logics},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {203--212},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055769},
doi = {10.1007/BFB0055769},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BaazCFV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Barthe98,
author = {Gilles Barthe},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {The Semi-Full Closure of Pure Type Systems},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {316--325},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055781},
doi = {10.1007/BFB0055781},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Barthe98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Barthelmann98,
author = {Klaus Barthelmann},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {When Can an Equational Simple Graph Be Generated by Hyperedge Replacement?},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {543--552},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055804},
doi = {10.1007/BFB0055804},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Barthelmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Benke98,
author = {Marcin Benke},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Predicative Polymorphic Subtyping},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {326--335},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055782},
doi = {10.1007/BFB0055782},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Benke98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bentzien98,
author = {Levke Bentzien},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Positive Turing and Truth-Table Completeness for {NEXP} Are Incomparable},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {474--482},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055797},
doi = {10.1007/BFB0055797},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Bentzien98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BezrukovCHRS98,
author = {Sergei L. Bezrukov and
Joe D. Chavez and
L. H. Harper and
Markus R{\"{o}}ttger and
Ulf{-}Peter Schroeder},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Embedding of Hypercubes into Grids},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {693--701},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055820},
doi = {10.1007/BFB0055820},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BezrukovCHRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bierman98,
author = {Gavin M. Bierman},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {A Computational Interpretation of the lambda-{\(\mathrm{\mu}\)}-Calculus},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {336--345},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055783},
doi = {10.1007/BFB0055783},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Bierman98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BodlaenderH98,
author = {Hans L. Bodlaender and
Torben Hagerup},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Tree Decompositions of Small Diameter},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {702--712},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055821},
doi = {10.1007/BFB0055821},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BodlaenderH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BonnerFLL98,
author = {Richard F. Bonner and
Rusins Freivalds and
Janis Lapins and
Antra Lukjanska},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Nonstochastic Languages as Projections of 2-Tape Quasideterministic
Languages},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {213--219},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055770},
doi = {10.1007/BFB0055770},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BonnerFLL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BorgerS98,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Defining the Java Virtual Machine as Platform for Provably Correct
Java Compilation},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {17--35},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055755},
doi = {10.1007/BFB0055755},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BorgerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BroersmaHKKKMT98,
author = {Hajo Broersma and
Andreas Huck and
Ton Kloks and
Otto R. Koppius and
Dieter Kratsch and
Haiko M{\"{u}}ller and
Hilde Tuinstra},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Degree-Preserving Forests},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {713--721},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055822},
doi = {10.1007/BFB0055822},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/BroersmaHKKKMT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BuchholzKK98,
author = {Thomas Buchholz and
Andreas Klein and
Martin Kutrib},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {One Guess One-Way Cellular Arrays},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {807--815},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055832},
doi = {10.1007/BFB0055832},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/BuchholzKK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CattaneoM98,
author = {Gianpiero Cattaneo and
Luciano Margara},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Topological Definitions of Chaos Applied to Cellular Automata Dynamics},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {816--824},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055833},
doi = {10.1007/BFB0055833},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CattaneoM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChoffrutH98,
author = {Christian Choffrut and
S{\'{a}}ndor Horv{\'{a}}th},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Equations in Transfinite Strings},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {656--664},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055816},
doi = {10.1007/BFB0055816},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ChoffrutH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChrobakD98,
author = {Marek Chrobak and
Christoph D{\"{u}}rr},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Reconstructing Polyatomic Structures from Discrete X-Rays: NP-Completeness
Proof for Three Atoms},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {185--193},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055767},
doi = {10.1007/BFB0055767},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ChrobakD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Chrzaszcz98,
author = {Jacek Chrzaszcz},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Polymorphic Subtyping Without Distributivity},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {346--355},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055784},
doi = {10.1007/BFB0055784},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Chrzaszcz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CourcelleL98,
author = {Bruno Courcelle and
Denis Lapoire},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Facial Circuits of Planar Graphs and Context-Free Languages},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {616--624},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055812},
doi = {10.1007/BFB0055812},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CourcelleL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CrauserMMS98,
author = {Andreas Crauser and
Kurt Mehlhorn and
Ulrich Meyer and
Peter Sanders},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {A Parallelization of Dijkstra's Shortest Path Algorithm},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {722--731},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055823},
doi = {10.1007/BFB0055823},
timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CrauserMMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CrochemoreMR98,
author = {Maxime Crochemore and
Filippo Mignosi and
Antonio Restivo},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Minimal Forbidden Words and Factor Automata},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {665--673},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055817},
doi = {10.1007/BFB0055817},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CrochemoreMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Damm98,
author = {Carsten Damm},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On Boolean vs. Modular Arithmetic for Circuits and Communication Protocols},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {780--788},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055829},
doi = {10.1007/BFB0055829},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Damm98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DurandP98,
author = {Bruno Durand and
Sylvain Porrot},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Comparison Between the Complexity of a Function and the Complexity
of Its Graph},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {732--739},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055824},
doi = {10.1007/BFB0055824},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DurandP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EmersonT98,
author = {E. Allen Emerson and
Richard J. Trefler},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Model Checking Real-Time Properties of Symmetric Systems},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {427--436},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055792},
doi = {10.1007/BFB0055792},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EmersonT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FernauS98,
author = {Henning Fernau and
Ludwig Staiger},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {{IFS} and Control Languages},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {740--750},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055825},
doi = {10.1007/BFB0055825},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/FernauS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FerreiraKP98,
author = {Maria C. F. Ferreira and
Delia Kesner and
Laurence Puel},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Reducing AC-Termination to Termination},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {239--247},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055773},
doi = {10.1007/BFB0055773},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FerreiraKP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FulopJSV98,
author = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Eija Jurvanen and
Magnus Steinby and
S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On One-Pass Term Rewriting},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {248--256},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055774},
doi = {10.1007/BFB0055774},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FulopJSV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GastinMP98,
author = {Paul Gastin and
Rapha{\"{e}}l Meyer and
Antoine Petit},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {A (Non-elementary) Modular Decision Procedure for LTrL},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {356--365},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055785},
doi = {10.1007/BFB0055785},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/GastinMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GiacobazziRS98,
author = {Roberto Giacobazzi and
Francesco Ranzato and
Francesca Scozzari},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Complete Abstract Interpretations Made Constructive},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {366--377},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055786},
doi = {10.1007/BFB0055786},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GiacobazziRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoldsmithOR98,
author = {Judy Goldsmith and
Mitsunori Ogihara and
J{\"{o}}rg Rothe},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Tally {NP} Sets and Easy Census Functions},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {483--492},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055798},
doi = {10.1007/BFB0055798},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoldsmithOR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GroheS98,
author = {Martin Grohe and
Thomas Schwentick},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Locality of Order-Invariant First-Order Formulas},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {437--445},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055793},
doi = {10.1007/BFB0055793},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GroheS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Grosse-RhodePS98,
author = {Martin Gro{\ss}e{-}Rhode and
Francesco Parisi{-}Presicce and
Marta Simeoni},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Spatial and Temporal Refinement of Typed Graph Transformation Systems},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {553--561},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055805},
doi = {10.1007/BFB0055805},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Grosse-RhodePS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HagenahM98,
author = {Christian Hagenah and
Anca Muscholl},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Computing epsilon-Free {NFA} from Regular Expressions in O(n log{\({^2}\)}(n))
Time},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {277--285},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055777},
doi = {10.1007/BFB0055777},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HagenahM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Harel98,
author = {David Harel},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Towards a Theory of Recursive Structures},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {36--53},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055756},
doi = {10.1007/BFB0055756},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Harel98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HarjuMS98,
author = {Tero Harju and
Alexandru Mateescu and
Arto Salomaa},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Shuffle on Trajectories: The Sch{\"{u}}tzenberger Product and
Related Operations},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {503--511},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055800},
doi = {10.1007/BFB0055800},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HarjuMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HemaspaandraR98,
author = {Lane A. Hemaspaandra and
J{\"{o}}rg Rothe},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {A Second Step Towards Circuit Complexity-Theoretic Analogs of Rice's
Theorem},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {418--426},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055791},
doi = {10.1007/BFB0055791},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HemaspaandraR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HermannS98,
author = {Miki Hermann and
Gernot Salzer},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On the Word, Subsumption, and Complement Problem for Recurrent Term
Schematizations},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {257--266},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055775},
doi = {10.1007/BFB0055775},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/HermannS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HofmeisterL98,
author = {Thomas Hofmeister and
Hanno Lefmann},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Approximating Maximum Independent Sets in Uniform Hypergraphs},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {562--570},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055806},
doi = {10.1007/BFB0055806},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HofmeisterL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hromkovic98,
author = {Juraj Hromkovic},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Communication Complexity and Lower Bounds on Multilective Computations},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {789--797},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055830},
doi = {10.1007/BFB0055830},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hromkovic98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HuneN98,
author = {Thomas Hune and
Mogens Nielsen},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Timed Bisimulation and Open Maps},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {378--387},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055787},
doi = {10.1007/BFB0055787},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HuneN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/IwamaI98,
author = {Kazuo Iwama and
Chuzo Iwamoto},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Improved Time and Space Hierarchies of One-Tape Off-Line TMs},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {580--588},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055808},
doi = {10.1007/BFB0055808},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/IwamaI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/IwamaNY98,
author = {Kazuo Iwama and
Mitsushi Nouzoe and
Shuzo Yajima},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Optimizing OBDDs Is Still Intractable for Monotone Functions},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {625--635},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055813},
doi = {10.1007/BFB0055813},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/IwamaNY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KarhumakiMP98,
author = {Juhani Karhum{\"{a}}ki and
J{\'{a}}n Manuch and
Wojciech Plandowski},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On Defect Effect of Bi-Infinite Words},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {674--682},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055818},
doi = {10.1007/BFB0055818},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KarhumakiMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KestenP98,
author = {Yonit Kesten and
Amir Pnueli},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Modularization and Abstraction: The Keys to Practical Formal Verification},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {54--71},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055757},
doi = {10.1007/BFB0055757},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KestenP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KoblerS98,
author = {Johannes K{\"{o}}bler and
Rainer Schuler},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Average-Case Intractability vs. Worst-Case Intractability},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {493--502},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055799},
doi = {10.1007/BFB0055799},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KoblerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KolpakovKT98,
author = {Roman M. Kolpakov and
Gregory Kucherov and
Yuriy V. Tarannikov},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On Repetition-Free Binary Words of Minimal Density},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {683--692},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055819},
doi = {10.1007/BFB0055819},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KolpakovKT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kuich98,
author = {Werner Kuich},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Gau{\ss}ian Elimination and a Characterization of Algebraic Power
Series},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {512--521},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055801},
doi = {10.1007/BFB0055801},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kuich98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kuzjurin98,
author = {Nikolai N. Kuzjurin},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Locally Explicit Construction of R{\"{o}}dl's Asymptotically
Good Packings},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {194--202},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055768},
doi = {10.1007/BFB0055768},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kuzjurin98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LatteuxST98,
author = {Michel Latteux and
David Simplot and
Alain Terlutte},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Iterated Length-Preserving Rational Transductions},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {286--295},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055778},
doi = {10.1007/BFB0055778},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LatteuxST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LopezN98,
author = {Luis{-}Miguel Lopez and
Philippe Narbel},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {D0L-Systems and Surface Automorphisms},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {522--532},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055802},
doi = {10.1007/BFB0055802},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LopezN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Maass98,
author = {Wolfgang Maass},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On the Role of Time and Space in Neural Computation},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {72--83},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055758},
doi = {10.1007/BFB0055758},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Maass98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Manzini98,
author = {Giovanni Manzini},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Characterization of Sensitive Linear Cellular Automata with Respect
to the Counting Distance},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {825--833},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055834},
doi = {10.1007/BFB0055834},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Manzini98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Matz98,
author = {Oliver Matz},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {One Quantifier Will Do in Existential Monadic Second-Order Logic over
Pictures},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {751--759},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055826},
doi = {10.1007/BFB0055826},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Matz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MazoyerR98,
author = {Jacques Mazoyer and
Ivan Rapaport},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Additive Cellular Automata over Z\({}_{\mbox{p}}\) and the Bottom
of (CA, {\textless}=)},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {834--843},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055835},
doi = {10.1007/BFB0055835},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MazoyerR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MehlhornN98,
author = {Kurt Mehlhorn and
Stefan N{\"{a}}her},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {From Algorithms to Working Programs: On the Use of Program Checking
in {LEDA}},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {84--93},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055759},
doi = {10.1007/BFB0055759},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MehlhornN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Micali98,
author = {Silvio Micali},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Computationally-Sound Checkers},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {94--116},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055760},
doi = {10.1007/BFB0055760},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Micali98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MielniczukP98,
author = {Pawel Mielniczuk and
Leszek Pacholski},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Tarskian Set Constraints Are in {NEXPTIME}},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {589--596},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055809},
doi = {10.1007/BFB0055809},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MielniczukP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Nielsen98,
author = {Mogens Nielsen},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Reasoning About the Past},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {117--128},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055761},
doi = {10.1007/BFB0055761},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Nielsen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NielsonN98,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Flow Logic for Imperative Objects},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {220--228},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055771},
doi = {10.1007/BFB0055771},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/NielsonN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Petersen98,
author = {Holger Petersen},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {The Head Hierarchy for Oblivious Finite Automata with Polynomial Advice
Collapses},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {296--304},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055779},
doi = {10.1007/BFB0055779},
timestamp = {Fri, 15 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Petersen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PierroW98,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract
Model},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {446--455},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055794},
doi = {10.1007/BFB0055794},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/PierroW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PreussS98,
author = {Harry Preu{\ss} and
Anand Srivastav},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Blockwise Variable Orderings for Shared BDDs},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {636--644},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055814},
doi = {10.1007/BFB0055814},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/PreussS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pudlak98,
author = {Pavel Pudl{\'{a}}k},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Satisfiability - Algorithms and Logic},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {129--141},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055762},
doi = {10.1007/BFB0055762},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Pudlak98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Rabinovich98,
author = {Alexander Moshe Rabinovich},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Expressive Completeness of Temporal Logic of Action},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {229--238},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055772},
doi = {10.1007/BFB0055772},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Rabinovich98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Reinhardt98,
author = {Klaus Reinhardt},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On Some Recognizable Picture-Languages},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {760--770},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055827},
doi = {10.1007/BFB0055827},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Reinhardt98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RylRC98,
author = {Isabelle Ryl and
Yves Roos and
Mireille Clerbout},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {About Synchronization Languages},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {533--542},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055803},
doi = {10.1007/BFB0055803},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/RylRC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Senizergues98,
author = {G{\'{e}}raud S{\'{e}}nizergues},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {The Equivalence Problem for Deterministic Pushdown Transducers into
Abelian Groups},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {305--315},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055780},
doi = {10.1007/BFB0055780},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Senizergues98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Simpson98,
author = {Alex K. Simpson},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Lazy Functional Algorithms for Exact Real Functionals},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {456--464},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055795},
doi = {10.1007/BFB0055795},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Simpson98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Slobodova98,
author = {Anna Slobodov{\'{a}}},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On the Composition Problem for OBDDs with Multiple Variable Orders},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {645--655},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055815},
doi = {10.1007/BFB0055815},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Slobodova98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Srba98,
author = {Jir{\'{\i}} Srba},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Deadlocking States in Context-Free Process Algebra},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {388--398},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055788},
doi = {10.1007/BFB0055788},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Srba98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Stirling98,
author = {Colin Stirling},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {The Joys of Bisimulation},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {142--151},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055763},
doi = {10.1007/BFB0055763},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Stirling98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/TorreN98,
author = {Salvatore La Torre and
Margherita Napoli},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Representing Hyper-Graphs by Regular Languages},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {571--579},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055807},
doi = {10.1007/BFB0055807},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/TorreN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Touzet98,
author = {H{\'{e}}l{\`{e}}ne Touzet},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Encoding the Hydra Battle as a Rewrite System},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {267--276},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055776},
doi = {10.1007/BFB0055776},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Touzet98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Vorobyov98,
author = {Sergei G. Vorobyov},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {forall exists*-Equational Theory of Context Unification is Pi\({}_{\mbox{1}}\)\({}^{\mbox{0}}\)-Hard},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {597--606},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055810},
doi = {10.1007/BFB0055810},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Vorobyov98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WeihrauchZ98,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {A Finite Hierarchy of the Recursively Enumerable Real Numbers},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {798--806},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055831},
doi = {10.1007/BFB0055831},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WeihrauchZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wiedermann98,
author = {Jir{\'{\i}} Wiedermann},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Towards Algorithmic Explanation of Mind Evolution and Functioning},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {152--166},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055764},
doi = {10.1007/BFB0055764},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wiedermann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Wiedermann98a,
author = {Jir{\'{\i}} Wiedermann},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Speeding-Up Nondeterministic Single-Tape Off-Line Computations by
One Alternation},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {607--615},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055811},
doi = {10.1007/BFB0055811},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Wiedermann98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1998,
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055753},
doi = {10.1007/BFB0055753},
isbn = {3-540-64827-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1998.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-06-10 10:48 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:
