@incollection{Adler-Byers-Karp/95b,
AUTHOR = {Adler, Micah and Byers, John W. and Karp, Richard M.},
TITLE = {Scheduling parallel communication: The $h$-relation problem},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {1-20},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'i} and H{\'a}jek, Petr},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=969&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Arnborg/95,
AUTHOR = {Arnborg, Stefan},
TITLE = {Decomposable structures, Boolean function representations, and optimization},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {21-36},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Flammini-Leeuwen-Marchetti-Spaccamela/95,
AUTHOR = {Flammini, Michele and Leeuwen, Jan van and Marchetti-Spaccamela, Alberto},
TITLE = {The complexity of interval routing on random graphs},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {37-49},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Geffert/95,
AUTHOR = {Geffert, Viliam},
TITLE = {Bridging across the $\log(n)$ space frontier},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {50-65},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gottlob-Leone-Veith/95,
AUTHOR = {Gottlob, Georg and Leone, Nicola and Veith, Helmut},
TITLE = {Second order logic and the weak exponential hierarchies},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {66-81},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hartmanis/95,
AUTHOR = {Hartmanis, Juris},
TITLE = {On the computing paradigm and computational complexity},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {82-92},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lehmann/95,
AUTHOR = {Lehmann, Daniel},
TITLE = {Ranked structures in nonmonotonic reasoning and belief revision},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {93-93},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Perrin/95,
AUTHOR = {Perrin, Dominique},
TITLE = {Symbolic dynamics and finite automata},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {94-104},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Razborov/95,
AUTHOR = {Razborov, Alexander A.},
TITLE = {Lower bounds for propositional proofs and independence results in bounded arithmetic},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {105-105},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vitanyi/95,
AUTHOR = {Vit{\'{a}}nyi, Paul},
TITLE = {Physics and the new computation},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {106-128},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Allender-Strauss/95,
AUTHOR = {Allender, Eric and Strauss, Martin},
TITLE = {Measure on $P$: Robustness of the notion},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {129-138},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Burtschick/95,
AUTHOR = {Burtschick, Hans-J{\"o}rg},
TITLE = {Comparing counting classes for logspace, one-way logspace, and first-order},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {139-148},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Damm-Holzer/95,
AUTHOR = {Damm, Carsten and Holzer, Markus},
TITLE = {Automata that take advice},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {149-158},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Homer-Mocas/95,
AUTHOR = {Homer, Steven and Mocas, Sarah},
TITLE = {Nonuniform lower bounds for exponential time classes},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {159-168},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kaufmann-Kummer/95,
AUTHOR = {Kaufmann, Susanne and Kummer, Martin},
TITLE = {On a quantitative notion of uniformity},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {169-178},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Merkle-Wang/95,
AUTHOR = {Merkle, Wolfgang and Wang, Yongge},
TITLE = {Separations by random oracles and ``Almost'' classes for generalized reducibilities},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {179-190},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Beauquier-Burago-Slissenko/95,
AUTHOR = {Beauquier, Dani{\`{e}}le and Burago, Dima and Slissenko, Anatol},
TITLE = {On the complexity of finite memory policies for Markov decision processes},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {191-200},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hofmeister-Lefmann/95,
AUTHOR = {Hofmeister, Thomas and Lefmann, Hanno},
TITLE = {Derandomization for sparse approximations and independent sets},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {201-210},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Katajainen-Pasanen-Titan/95,
AUTHOR = {Katajainen, Jyriki and Pasanen, Tomi and Titan, George},
TITLE = {Asymptotically efficient in-place merging},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {211-220},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Heusch/95,
AUTHOR = {Heusch, Peter},
TITLE = {The complexity of the falsifiability problem for pure implicational formulas},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {221-226},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kann/95,
AUTHOR = {Kann, Viggo},
TITLE = {Strong lower bounds on the approximability of some NPO PB-complete maximization problems},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {227-236},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'i} and H{\'a}jek, Petr},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=969&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lefmann-Savicky/95,
AUTHOR = {Lefmann, Hanno and Savick{\'{y}}, Petr},
TITLE = {Some typical properties of large AND/OR Boolean formulas},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {237-246},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Huhne/95,
AUTHOR = {H{\"u}hne, Martin},
TITLE = {The hedge: An efficient storage device for Turing machines with one head},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {247-256},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Maruyama-Miyano/95,
AUTHOR = {Maruyama, Osamu and Miyano, Satoru},
TITLE = {Graph inference from a walk for trees of bounded degree 3 is NP-complete},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {257-266},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Stojmenovic/95,
AUTHOR = {Stojmenovi{\'c}, Ivan},
TITLE = {Honeycomb networks},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {267-276},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fischer-Hemaspaandra-Torenvliet/95,
AUTHOR = {Fischer, Sophie and Hemaspaandra, Lane and Torenvliet, Leen},
TITLE = {Witness-isomorphic reductions and the local search problem},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {277-287},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertram-Kretzberg-Hofmeister/95,
AUTHOR = {Bertram-Kretzberg, Claudia and Hofmeister, Thomas},
TITLE = {Multiple product modulo arbitrary numbers},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {288-298},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Meinel-Waack/95a,
AUTHOR = {Meinel, Christoph and Waack, Stephan},
TITLE = {Lower bounds for the majority communication complexity of various graph accessibility problems},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {299-308},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertoni-Mereghetti-Pighizzini/95,
AUTHOR = {Bertoni, Alberto and Mereghetti, Carlo and Pighizzini, Giovanni},
TITLE = {Strong optimal lower bounds for Turing machines that accept nonregular languages},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {309-318},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Zak/95,
AUTHOR = {{\v{Z}}{\'{a}}k, Stanislav},
TITLE = {A superpolynomial lower bound for $(1,+k(n))$-branching programs},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {319-325},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Breveglieri-Cherubini-Crespi_Reghizzi/95,
AUTHOR = {Breveglieri, Luca and Cherubini, Alessandra and Crespi Reghizzi, Stefano},
TITLE = {Deterministic parsing for augmented context-free grammars},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {326-336},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'i} and H{\'a}jek, Petr},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=969&spage=326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mignosi-Restivo-Salemi/95,
AUTHOR = {Mignosi, Filippo and Restivo, Antonio and Salemi, Sergio},
TITLE = {A periodicity theorem on words and applications},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {337-348},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hotz-Pitsch/95,
AUTHOR = {Hotz, G{\"u}nter and Pitsch, Gisela},
TITLE = {A new approach to analyse coupled-context-free languages},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {349-358},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hermann-Kolaitis/95a,
AUTHOR = {Hermann, Miki and Kolaitis, Phokion G.},
TITLE = {Computational complexity of simultaneous elementary matching problems},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {359-370},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'i} and H{\'a}jek, Petr},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=969&spage=359},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Krishna_Rao/95,
AUTHOR = {Krishna Rao, M.R.K.},
TITLE = {Graph reducibility of term rewriting systems},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {371-381},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Urzyczyn/95,
AUTHOR = {Urzyczyn, Pawel},
TITLE = {Positive recursive type assignment},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {382-391},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kranakis-Krizanc-Luccio/95,
AUTHOR = {Kranakis, Evangelos and Krizanc, Danny and Luccio, Flaminia L.},
TITLE = {String recognition on anonymous rings},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {392-401},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Roka/95,
AUTHOR = {R{\'o}ka, Zsuzsanna},
TITLE = {The firing squad synchronization problem on Cayley graphs},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {402-411},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'i} and H{\'a}jek, Petr},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=969&spage=402},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Roka/95b,
AUTHOR = {R{\'{o}}ka, Zsuzsanna},
TITLE = {The Firing Squad Synchronization Problem on Cayley graphs},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {402-411},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sibeyn-Kaufmann/95,
AUTHOR = {Sibeyn, Jop F. and Kaufmann, Michael},
TITLE = {Solving cheap graph problems on meshes},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {412-422},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Burkart-Caucal-Steffen/95,
AUTHOR = {Burkart, Olaf and Caucal, Didier and Steffen, Bernhard},
TITLE = {An elementary bisimulation decision procedure for arbitrary context-free processes},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {423-433},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bauget-Gastin/95,
AUTHOR = {Bauget, Serge and Gastin, Paul},
TITLE = {On congruences and partial orders},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {434-443},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corradini-Gorrieri-Roccetti/95,
AUTHOR = {Corradini, Flavio and Gorrieri, Roberto and Roccetti, Marco},
TITLE = {Performance preorder: Ordering processes with respect to speed},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {444-453},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ferreira-Hennessy/95,
AUTHOR = {Ferreira, W. and Hennessy, M.},
TITLE = {Towards a semantic theory of CML},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {454-466},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Huguet-Petit/95,
AUTHOR = {Huguet, S{\'e}bastian and Petit, Antoine},
TITLE = {Modular constructions of distributing automata},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {467-478},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'i} and H{\'a}jek, Petr},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=969&spage=467},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sangiorgi/95a,
AUTHOR = {Sangiorgi, Davide},
TITLE = {On the proof method for bisimulation},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {479-488},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Martin/95,
AUTHOR = {Martin, Clare},
TITLE = {Towards a calculus of predicate transformers},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {489-498},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abadi-Merz/95,
AUTHOR = {Abadi, Mart{\'{i}}n and Merz, Stephan},
TITLE = {An abstract account of composition},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {499-508},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{van_der_Goot-Bruin/95,
AUTHOR = {van der Goot, Roel and Bruin, Arie de},
TITLE = {Syntax and semantics of Procol},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {509-518},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Godskesen-Larsen/95,
AUTHOR = {Godskesen, Jens Chr. and Larsen, Kim G.},
TITLE = {Synthesizing distinguishing formulae for real time systems},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {519-528},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Laroussinie-Larsen-Weise/95,
AUTHOR = {Laroussinie, Fran{\c{c}}ois and Larsen, Kim G. and Weise, Carsten},
TITLE = {From timed automata to logic --- and back},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {529-539},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Makowsky-Ravve/95,
AUTHOR = {Makowsky, J.A. and Ravve, E.V.},
TITLE = {Incremental model checking for decomposable structures},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {540-551},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Janin-Walukiewicz/95,
AUTHOR = {Janin, David and Walukiewicz, Igor},
TITLE = {Automata for the modal $\mu$-calculus and related results},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {552-562},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Niebert/95,
AUTHOR = {Niebert, Peter},
TITLE = {A $\nu$-calculus with local views for systems of sequential agents},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {563-573},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Feinsilver-Schott/95,
AUTHOR = {Feinsilver, P. and Schott, R.},
TITLE = {An operator calculus approach to the evolution of dynamic data structures},
BOOKTITLE = {Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95 (Prague, Czech Republic, August 28 - September 1, 1995)},
SERIES = {LNCS},
VOLUME = {969},
PAGES = {574-586},
YEAR = {1995},
EDITOR = {Wiedermann, Ji{\v{r}}{\'{i}} and H{\'{a}}jek, Petr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}