@incollection{Balcazar/84,
AUTHOR = {Balc{\'a}zar, Jos{\'e} Luis},
TITLE = {Separating, strongly separating, and collapsing relativized complexity classes},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {1-16},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030286},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Chistov-Grigorev/84,
AUTHOR = {Chistov, A.L. and Grigor'ev, D.Yu.},
TITLE = {Complexity of quantifier elimination in the theory of algebraically closed fields},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {17-31},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Gruska/84,
AUTHOR = {Gruska, Jozef},
TITLE = {Systolic automata --- Power, characterizations, nonhomogeneity},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {32-49},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030288},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hoffmann/84,
AUTHOR = {Hoffmann, Christoph M.},
TITLE = {A note on unique decipherability},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {50-63},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030289},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hotz/84,
AUTHOR = {Hotz, G{\"u}nter},
TITLE = {Outline of an algebraic language theory},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {64-79},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030290},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Jantzen/84,
AUTHOR = {Jantzen, Matthias},
TITLE = {Thue systems and the Church-Rosser property},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {80-95},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Longo/84,
AUTHOR = {Longo, G.},
TITLE = {Limits, higher type computability and type-free languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {96-114},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030292},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Mazurkiewicz/84,
AUTHOR = {Mazurkiewicz, Antoni},
TITLE = {Traces, histories, graphs: Instances of a process monoid},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {115-133},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Perrin/84a,
AUTHOR = {Perrin, Dominique},
TITLE = {Recent results on automata and infinite words},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {134-148},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030294},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Preparata/84,
AUTHOR = {Preparata, Franco P.},
TITLE = {VLSI algorithms and architectures},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {149-161},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030295},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Semenov/84,
AUTHOR = {Semenov, A.L.},
TITLE = {Decidability of monadic theories},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {162-175},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030296},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Albert/84,
AUTHOR = {Albert, J.},
TITLE = {On the Ehrenfeucht conjecture on test sets and its dual version},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {176-184},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030297},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Balcazar-Book-Schoning/84,
AUTHOR = {Balc{\'a}zar, Jos{\'e} L. and Book, Ronald V. and Sch{\"o}ning, Uwe},
TITLE = {Sparse oracles, lowness, and highness},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {185-193},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030298},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Beauquier-Thimonier/84,
AUTHOR = {Beauquier, Joffroy and Thimonier, Lo{\"y}s},
TITLE = {Computability of probabilistic parameters for some classes of formal languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {194-204},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030299},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Brandenburg/84,
AUTHOR = {Brandenburg, Franz Josef},
TITLE = {A truely morphic characterization of recursively enumerable sets},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {205-213},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Broy/84b,
AUTHOR = {Broy, Manfred},
TITLE = {On the Herbrand Kleene universe for nondeterministic computations},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {214-222},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030301},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Burkhard/84,
AUTHOR = {Burkhard, H.D.},
TITLE = {An investigation of controls for concurrent systems by abstract control languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {223-231},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030302},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Cerny/84,
AUTHOR = {{\v{C}}ern{\'y}, A.},
TITLE = {On generalized words of Thue-Morse},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {232-239},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030303},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Chrobak/84a,
AUTHOR = {Chrobak, Marek},
TITLE = {Nondeterminism is essential for two-way counter machines},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {240-244},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030304},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Costa-Stirling/84a,
AUTHOR = {Costa, Gerardo and Stirling, Colin},
TITLE = {Weak and strong fairness in CCS},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {245-254},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030305},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Daley-Smith/84,
AUTHOR = {Daley, Robert P. and Smith, Carl H.},
TITLE = {On the complexity of inductive inference},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {255-264},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030306},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Edelsbrunner-Welzl/84,
AUTHOR = {Edelsbrunner, Herbert and Welzl, Emmerich},
TITLE = {Monotone edge sequences in line arrangements and applications},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {265-272},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030307},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Enjalbert-Michel/84,
AUTHOR = {Enjalbert, P. and Michel, M.},
TITLE = {Many-sorted temporal logic for multi-processes systems},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {273-281},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030308},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Habasinski/84,
AUTHOR = {Habasi{\'n}ski, Z.},
TITLE = {Process logics: Two decidability results},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {282-290},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030309},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hemmerling-Kriegel/84,
AUTHOR = {Hemmerling, A. and Kriegel, K.},
TITLE = {On searching of special classes of mazes and finite embedded graphs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {291-300},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hennessy-Stirling/84,
AUTHOR = {Hennessy, M. and Stirling, C.},
TITLE = {The power of the future perfect in program logics},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {301-311},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030311},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hromkovic/84a,
AUTHOR = {Hromkovi{\v{c}}, J.},
TITLE = {Hierarchy of reversal and zerotesting bounded multicounter machines},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {312-321},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030312},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hromkovic/84b,
AUTHOR = {Hromkovi{\v{c}}, Juraj},
TITLE = {On the power of alternation in finite automata},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {322-329},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ibarra-Rosier/84,
AUTHOR = {Ibarra, Oscar H. and Rosier, Louis E.},
TITLE = {The equivalence problem and correctness formulas for a simple class of programs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {330-338},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030314},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Jaromczyk/84,
AUTHOR = {Jaromczyk, Jerzy W.},
TITLE = {Lower bounds for polygon simplicity testing and other problems},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {339-347},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kanovic/84,
AUTHOR = {Kanovi{\v{c}}, M.I.},
TITLE = {A uniform independence of invariant sentences},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {348-354},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030316},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Karhumaki-Kleijn/84,
AUTHOR = {Karhum{\"a}ki, J. and Kleijn, H.C.M.},
TITLE = {On the equivalence of compositions of morphisms and inverse morphisms on regular languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {355-363},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030317},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kowalczyk/84,
AUTHOR = {Kowalczyk, Wojciech},
TITLE = {Some connections between presentability of complexity classes and the power of formal systems of reasoning},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {364-369},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030318},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kucera/84,
AUTHOR = {Ku{\v{c}}era, L.},
TITLE = {Finding a maximum flow in /s,t/-planar network in linear expected time},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {370-377},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Lange/84,
AUTHOR = {Lange, Klaus-J{\"o}rn},
TITLE = {Nondeterministic logspace reductions},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {378-388},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030320},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Lenstra/84b,
AUTHOR = {Lenstra, Arjen K.},
TITLE = {Factoring multivariate polynomials over algebraic number fields},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {389-396},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030321},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Longo-Moggi/84,
AUTHOR = {Longo, G. and Moggi, E.},
TITLE = {G{\"o}del numberings, principal morphisms, combinatory algebras: A category-theoretic characterization of functional completeness},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {397-406},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030322},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{de_Luca-Restivo/84,
AUTHOR = {de Luca, Aldo and Restivo, Antonio},
TITLE = {Representations of integers and language theory},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {407-415},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030323},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Moravek-Pudlak/84,
AUTHOR = {Mor{\'a}vek, Jaroslav and Pudl{\'a}k, Pavel},
TITLE = {New lower bound for polyhedral membership problem with an application to linear programming},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {416-424},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030324},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Nepomnjashchaja/84,
AUTHOR = {Nepomnjashchaja, A.Sh.},
TITLE = {Decidability of the equivalence problem for synchronous deterministic pushdown automata},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {425-432},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030325},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{De_Nicola/84,
AUTHOR = {De Nicola, Rocco},
TITLE = {Models and operators for nondeterministic processes},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {433-442},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Oommen/84,
AUTHOR = {Oommen, B. John},
TITLE = {Algorithms for string editing which permit arbitrarily complex edit constraints},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {443-451},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030327},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Orponen-Schoning/84,
AUTHOR = {Orponen, Pekka and Sch{\"o}ning, Uwe},
TITLE = {The structure of polynomial complexity cores},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {452-458},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ottmann-Widmayer/84,
AUTHOR = {Ottmann, Thomas and Widmayer, Peter},
TITLE = {Solving visibility problems by using skeleton structures},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {459-470},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030329},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Poigne/84a,
AUTHOR = {Poign{\'e}, Axel},
TITLE = {Another look at parameterization using algebras with subsorts},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {471-479},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030330},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Pudlak/84,
AUTHOR = {Pudl{\'a}k, P.},
TITLE = {A lower bound on complexity of branching programs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {480-489},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030331},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Reiterman-Trnkova/84,
AUTHOR = {Reiterman, Jan and Trnkov{\'a}, V{\v{e}}ra},
TITLE = {From dynamic algebras to test algebras},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {490-497},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030332},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Robson/84b,
AUTHOR = {Robson, J.M.},
TITLE = {Combinatorial games with exponential space complete decision problems},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {498-506},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030333},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Rytter/84a,
AUTHOR = {Rytter, Wojciech},
TITLE = {Fast recognitions of pushdown automaton and context-free languages},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {507-515},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030334},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Starke/84,
AUTHOR = {Starke, Peter H.},
TITLE = {Multiprocessor systems and their concurrency},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {516-525},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030335},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Tarlecki/84,
AUTHOR = {Tarlecki, Andrzej},
TITLE = {Free constructions in algebraic institutions},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {526-534},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030336},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Tiuryn-Urzyczyn/84,
AUTHOR = {Tiuryn, Jerzy and Urzyczyn, Pawe{\l}},
TITLE = {Remarks on comparing expressive power of logics of programs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {535-543},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030337},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Wagner/84,
AUTHOR = {Wagner, K.},
TITLE = {The complexity of problems concerning graphs with regularities},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {544-552},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030338},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Wegener/84a,
AUTHOR = {Wegener, I.},
TITLE = {On the complexity of slice functions},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {553-561},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Zak/84,
AUTHOR = {{\v{Z}}{\'a}k, Stanislav},
TITLE = {An exponential lower bound for one-time-only branching programs},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {562-566},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030340},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Sipser/84,
AUTHOR = {Sipser, Michael},
TITLE = {A topological view of some problems in complexity theory},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {567-572},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030341},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Danecki/84,
AUTHOR = {Danecki, Ryszard},
TITLE = {Propositional dynamic logic with strong loop predicate},
BOOKTITLE = {Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science, MFCS'1984 (Praha, Czechoslovakia, September 3-7, 1984)},
SERIES = {LNCS},
VOLUME = {176},
PAGES = {573-581},
YEAR = {1984},
EDITOR = {Chytil, Michael P. and Koubek, V{\'a}clav},
URL = {http://dx.doi.org/10.1007/BFb0030342},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}