@incollection{Ausiello-Italiano-Nanni/98,
AUTHOR = {Ausiello, Giorgio and Italiano, Giuseppe F. and Nanni, Umberto},
TITLE = {Hypergraph traversal revisited: Cost measures and dynamic algorithms},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {1-16},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Borger-Schulte/98,
AUTHOR = {B{\"o}rger, Egon and Schulte, Wolfram},
TITLE = {Defining the Java virtual machine as platform for provably correct Java compilation},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {17-35},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Harel/98,
AUTHOR = {Harel, David},
TITLE = {Towards a theory of recursive structures},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {36-53},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'i}},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1450&spage=36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kesten-Pnueli/98,
AUTHOR = {Kesten, Yonit and Pnueli, Amir},
TITLE = {Modularization and abstraction: The keys to practical formal verification},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {54-71},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Maass/98,
AUTHOR = {Maass, Wolfgang},
TITLE = {On the role of time and space in neural computation},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {72-83},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mehlhorn-Naher/98,
AUTHOR = {Mehlhorn, Kurt and N{\"a}her, Stefan},
TITLE = {From algorithms to working programs: On the use of program checking in LEDA},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {84-93},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Micali/98,
AUTHOR = {Micali, Silvio},
TITLE = {Computationally-sound checkers},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {94-116},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Nielsen/98,
AUTHOR = {Nielsen, Mogens},
TITLE = {Reasoning about the past},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {117-128},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Pudlak/98,
AUTHOR = {Pudl{\'{a}}k, Pavel},
TITLE = {Satisfiability --- Algorithms and logic},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {129-141},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Stirling/98,
AUTHOR = {Stirling, Colin},
TITLE = {The joys of bisimulation},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {142-151},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Wiedermann/98,
AUTHOR = {Wiedermann, Ji{\v{r}}{\'{i}}},
TITLE = {Towards algorithmic explanation of mind evolution and functioning},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {152-166},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Aldaz-Heintz-Matera-Montana-Pardo/98,
AUTHOR = {Aldaz, Mikel and Heintz, Joos and Matera, Guillermo and Monta{\~{n}}a, Jos{\'{e}} L. and Pardo, Luis M.},
TITLE = {Combinatorial hardness proofs for polynomial evaluation},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {167-175},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Alekhnovich-Buss-Moran-Pitassi/98,
AUTHOR = {Alekhnovich, Michael and Buss, Sam and Moran, Shlomo and Pitassi, Toniann},
TITLE = {Minimum propositional proof length is $NP$-hard to linearly approximate},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {176-184},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chrobak-Durr/98,
AUTHOR = {Chrobak, Marek and D{\"u}rr, Christoph},
TITLE = {Reconstructing polyatomic structures from discrete X-rays: $NP$-completeness proof for three atoms},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {185-193},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kuzjurin/98,
AUTHOR = {Kuzjurin, Nikolai N.},
TITLE = {Locally explicit construction of R{\"o}dl's asymptotically good packings},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {194-202},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'i}},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1450&spage=194},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Baaz-Ciabattoni-Fermuller-Veith/98,
AUTHOR = {Baaz, Matthias and Ciabattoni, Agata and Ferm{\"u}ller, Christian and Veith, Helmut},
TITLE = {Proof theory of fuzzy logics: Urquhart's $C$ and related logics},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {203-212},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bonner-Freivalds-Lapins-Lukjanska/98,
AUTHOR = {Bonner, Richard and Freivalds, R{\=u}si{\c{n}}{\u{s}} and Lapi{\c{n}}{\u{s}}, J{\=a}nis and Lukjanska, Antra},
TITLE = {Nonstochastic languages as projections of 2-tape quasideterministic languages},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {213-219},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Nielson-Nielson/98,
AUTHOR = {Nielson, Flemming and Nielson, Hanne Riis},
TITLE = {Flow logic for imperative objects},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {220-228},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Rabinovich/98b,
AUTHOR = {Rabinovich, Alexander},
TITLE = {Expressive completeness of temporal logic of action},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {229-238},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ferreira-Kesner-Puel/98,
AUTHOR = {Ferreira, Maria C.F. and Kesner, Delia and Puel, Laurence},
TITLE = {Reducing AC-termination to termination},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {239-247},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fulop-Jurvanen-Steinby-Vagvolgyi/98,
AUTHOR = {F{\"u}l{\"o}p, Zolt{\'{a}}n and Jurvanen, Eija and Steinby, Magnus and V{\'{a}}gv{\"o}lgyi, S{\'{a}}ndor},
TITLE = {On one-pass term rewriting},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {248-256},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hermann-Salzer/98,
AUTHOR = {Hermann, Miki and Salzer, Gernot},
TITLE = {On the word, subsumption, and complement problem for recurrent term schematizations},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {257-266},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Touzet/98a,
AUTHOR = {Touzet, H{\'{e}}l{\`{e}}ne},
TITLE = {Encoding the hydra battle as a rewrite system},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {267-276},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hagenah-Muscholl/98,
AUTHOR = {Hagenah, Christian and Muscholl, Anca},
TITLE = {Computing $\epsilon$-free $NFA$ from regular expressions in $O(n\log^2(n))$ time},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {277-285},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Latteux-Simplot-Terlutte/98,
AUTHOR = {Latteux, Michel and Simplot, David and Terlutte, Alain},
TITLE = {Iterated length-preserving rational transductions},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {286-295},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Petersen/98,
AUTHOR = {Petersen, Holger},
TITLE = {The head hierarchy for oblivious finite automata with polynomial advice collapses},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {296-304},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Senizergues/98a,
AUTHOR = {S{\'{e}}nizergues, G{\'{e}}raud},
TITLE = {The equivalence problem for deterministic pushdown transducers into Abelian groups},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {305-315},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Barthe/98a,
AUTHOR = {Barthe, Gilles},
TITLE = {The semi-full closure of pure type systems},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {316-325},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Benke/98,
AUTHOR = {Benke, Marcin},
TITLE = {Predicative polymorphic subtyping},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {326-335},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bierman/98,
AUTHOR = {Bierman, G.M.},
TITLE = {A computational interpretation of the $\lambda\mu$-calculus},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {336-345},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chrzaszcz/98,
AUTHOR = {Chrz{\c{a}}szcz, Jacek},
TITLE = {Polymorphic subtyping without distributivity},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {346-355},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gastin-Meyer-Petit/98,
AUTHOR = {Gastin, Paul and Meyer, Rapha{\"e}l and Petit, Antoine},
TITLE = {A (non-elementary) modular decision procedure for $LTrL$},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {356-365},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Giacobazzi-Ranzato-Scozzari/98,
AUTHOR = {Giacobazzi, Roberto and Ranzato, Francesco and Scozzari, Francesca},
TITLE = {Complete abstract interpretations made constructive},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {366-377},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hune-Nielsen/98,
AUTHOR = {Hune, Thomas and Nielsen, Mogens},
TITLE = {Timed bisimulation and open maps},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {378-387},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Srba/98,
AUTHOR = {Srba, Ji{\v{r}}{\'{i}}},
TITLE = {Deadlocking states in context-free process algebra},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {388-398},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Amano-Maruoka/98,
AUTHOR = {Amano, Kazuyuki and Maruoka, Akira},
TITLE = {A superpolynomial lower bound for a circuit computing the clique function with at most $(1/6)\log\log n$ negation gates},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {399-408},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ambainis-Barrington-LeThanh/98,
AUTHOR = {Ambainis, Andris and Barrington, David Mix and L{\^{e}}Thanh, Huong},
TITLE = {On counting $AC^0$ circuits with negative constants},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {409-417},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hemaspaandra-Rothe/98a,
AUTHOR = {Hemaspaandra, Lane A. and Rothe, J{\"o}rg},
TITLE = {A second step towards circuit complexity-theoretic analogs of Rice's theorem},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {418-426},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Emerson-Trefler/98,
AUTHOR = {Emerson, E. Allen and Trefler, Richard J.},
TITLE = {Model checking real-time properties of symmetric systems},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {427-436},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Grohe-Schwentick/98,
AUTHOR = {Grohe, Martin and Schwentick, Thomas},
TITLE = {Locality of order-invariant first-order formulas},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {437-445},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{di_Pierro-Wiklicky/98,
AUTHOR = {di Pierro, Alessandra and Wiklicky, Herbert},
TITLE = {Probabilistic concurrent constraint programming: Towards a fully abstract model},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {446-455},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Simpson/98,
AUTHOR = {Simpson, Alex K.},
TITLE = {Lazy functional algorithms for exact real functionals},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {456-464},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ambos-Spies-Lempp-Mainhardt/98,
AUTHOR = {Ambos-Spies, Klaus and Lempp, Steffen and Mainhardt, Gunter},
TITLE = {Randomness vs.\ completeness: On the diagonalization strength of resource-bounded random sets},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {465-473},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bentzien/98,
AUTHOR = {Bentzien, Levke},
TITLE = {Positive Turing and truth-table completeness for NEXP are incomparable},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {474-482},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Goldsmith-Ogihara-Rothe/98,
AUTHOR = {Goldsmith, Judy and Ogihara, Mitsunori and Rothe, J{\"o}rg},
TITLE = {Tally $NP$ sets and easy census functions},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {483-492},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kobler-Schuler/98,
AUTHOR = {K{\"o}bler, Johannes and Schuler, Rainer},
TITLE = {Average-case intractability vs.\ worst-case intractability},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {493-502},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Harju-Mateescu-Salomaa/98,
AUTHOR = {Harju, Tero and Mateescu, Alexandru and Salomaa, Arto},
TITLE = {Shuffle on trajectories: The Sch{\"u}tzenberger product and related operations},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {503-511},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'i}},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1450&spage=503},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kuich/98,
AUTHOR = {Kuich, Werner},
TITLE = {Gau{\ss}ian elimination and a characterization of algebraic power series},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {512-521},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'i}},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1450&spage=512},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lopez-Narbel/98,
AUTHOR = {Lopez, Luis-Miguel and Narbel, Philippe},
TITLE = {D0L-systems and surface automorphisms},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {522-532},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ryl-Roos-Clerbout/98,
AUTHOR = {Ryl, Isabelle and Roos, Yves and Clerbout, Mireille},
TITLE = {About synchronization languages},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {533-542},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Barthelmann/98,
AUTHOR = {Barthelmann, Klaus},
TITLE = {When can an equational simple graph be generated by hyperedge replacement?},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {543-552},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Grosse-Rhode-Parisi-Presicce-Simeoni/98,
AUTHOR = {Gro{\"ss}e-Rhode, Martin and Parisi-Presicce, Francesco and Simeoni, Marta},
TITLE = {Spatial and temporal refinement of typed graph transformation systems},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {553-561},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hofmeister-Lefmann/98,
AUTHOR = {Hofmeister, Thomas and Lefmann, Hanno},
TITLE = {Approximating maximum independent sets in uniform hypergraphs},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {562-570},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{La_Torre-Napoli/98,
AUTHOR = {La Torre, Salvatore and Napoli, Margherita},
TITLE = {Representing hyper-graphs by regular languages},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {571-579},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Iwama-Iwamoto/98,
AUTHOR = {Iwama, Kazuo and Iwamoto, Chuzo},
TITLE = {Improved time and space hierarchies of one-tape off-line TMs},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {580-588},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mielniczuk-Pacholski/98,
AUTHOR = {Mielniczuk, Pawel and Pacholski, Leszek},
TITLE = {Tarskian set constraints are in NEXPTIME},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {589-596},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Vorobyov/98,
AUTHOR = {Vorobyov, Sergei},
TITLE = {$\forall\exists^*$-equational theory of context unification is $\Pi^0_1$-hard},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {597-606},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Wiedermann/98a,
AUTHOR = {Wiedermann, Ji{\v{r}}{\'{i}}},
TITLE = {Speeding-up nondeterministic single-tape off-line computations by one alternation},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {607-615},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Courcelle-Lapoire/98,
AUTHOR = {Courcelle, Bruno and Lapoire, Denis},
TITLE = {Facial circuits of planar graphs and context-free languages},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {616-624},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Iwama-Nozoe-Yajima/98,
AUTHOR = {Iwama, Kazuo and Nozoe, Mitsushi and Yajima, Shuzo},
TITLE = {Optimizing OBDDs is still intractable for monotone functions},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {625-635},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Preuss-Srivastav/98,
AUTHOR = {Preu{\"ss}, Harry and Srivastav, Anand},
TITLE = {Blockwise variable orderings for shared BDDs},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {636-644},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Slobodova/98,
AUTHOR = {Slobodov{\'{a}}, Anna},
TITLE = {On the composition problem for OBDDs with multiple variable orders},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {645-655},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Choffrut-Horvath/98,
AUTHOR = {Choffrut, Christian and Horvath, Sandor},
TITLE = {Equations in transfinite strings},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {656-664},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Crochemore-Mignosi-Restivo/98,
AUTHOR = {Crochemore, M. and Mignosi, F. and Restivo, A.},
TITLE = {Minimal forbidden words and factor automata},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {665-673},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Karhumaki-Manuch-Plandowski/98,
AUTHOR = {Karhum{\"a}ki, Juhani and Ma{\u{n}}uch, J{\'{a}}n and Plandowski, Wojciech},
TITLE = {On defect effect of bi-infinite words},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {674-682},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kolpakov-Kucherov-Tarannikov/98,
AUTHOR = {Kolpakov, Roman and Kucherov, Gregory and Tarannikov, Yuri},
TITLE = {On repetition-free binary words of minimal density},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {683-692},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bezrukov-Chavez-Harper-Rottger-Schroeder/98,
AUTHOR = {Bezrukov, S.L. and Chavez, J.D. and Harper, L.H. and R{\"o}ttger, M. and Schroeder, U.-P.},
TITLE = {Embedding of hypercubes into grids},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {693-701},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bodlaender-Hagerup/98,
AUTHOR = {Bodlaender, Hans L. and Hagerup, Torben},
TITLE = {Tree decompositions of small diameter},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {702-712},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Broersma-Huck-Kloks-Koppius-Kratsch-Muller-Tuinstra/98,
AUTHOR = {Broersma, Hajo and Huck, Andreas and Kloks, Ton and Koppius, Otto and Kratsch, Dieter and M{\"u}ller, Haiko and Tuinstra, Hilde},
TITLE = {Degree-preserving forests},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {713-721},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Crauser-Mehlhorn-Meyer-Sanders/98,
AUTHOR = {Crauser, A. and Mehlhorn, K. and Meyer, U. and Sanders, P.},
TITLE = {A parallelization of Dijkstra's shortest path algorithm},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {722-731},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Durand-Porrot/98,
AUTHOR = {Durand, Bruno and Porrot, Sylvain},
TITLE = {Comparison between the complexity of a function and the complexity of its graphs},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {732-739},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fernau-Staiger/98,
AUTHOR = {Fernau, Henning and Staiger, Ludwig},
TITLE = {IFS and control languages},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {740-750},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Matz/98,
AUTHOR = {Matz, Oliver},
TITLE = {One quantifier will do in existential monadic second-order logic over pictures},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {751-759},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Reinhardt/98,
AUTHOR = {Reinhardt, Klaus},
TITLE = {On some recognizable picture-languages},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {760-770},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Auletta-Caragiannis-Kaklamanis-Persiano/98,
AUTHOR = {Auletta, Vincenzo and Caragiannis, Ioannis and Kaklamanis, Christos and Persiano, Pino},
TITLE = {On the complexity of wavelength converters},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {771-779},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Damm/98,
AUTHOR = {Damm, Carsten},
TITLE = {On Boolean vs.\ modular arithmetic for circuits and communication protocols},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {780-788},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hromkovic/98,
AUTHOR = {Hromkovi{\v{c}}, Juraj},
TITLE = {Communication complexity and lower bounds on multilective computations},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {789-797},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Weihrauch-Zheng/98,
AUTHOR = {Weihrauch, Klaus and Zheng, Xizhong},
TITLE = {A finite hierarchy of the recursively enumerable real numbers},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {798-806},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Buchholz-Klein-Kutrib/98,
AUTHOR = {Buchholz, Thomas and Klein, Andreas and Kutrib, Martin},
TITLE = {One guess one-way cellular arrays},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {807-815},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Cattaneo-Margara/98,
AUTHOR = {Cattaneo, Gianpiero and Margara, Luciano},
TITLE = {Topological definitions of chaos applied to cellular automata dynamics},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {816-824},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Manzini/98,
AUTHOR = {Manzini, Giovanni},
TITLE = {Characterization of sensitive linear cellular automata with respect to the counting distance},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {825-833},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'{i}}},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mazoyer-Rapaport/98,
AUTHOR = {Mazoyer, Jacques and Rapaport, Ivan},
TITLE = {Additive cellular automata over $Z_p$ and the bottom of $(CA,\leq)$},
BOOKTITLE = {Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)},
SERIES = {LNCS},
VOLUME = {1450},
PAGES = {834-843},
YEAR = {1998},
EDITOR = {Brim, Lubo{\v{s}} and Gruska, Jozef and Zlatu{\v{s}}ka, Ji{\v{r}}{\'i}},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1450&spage=834},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}