@incollection{Barzdin-Bicevskis-Kalninsh/75,
AUTHOR = {Barzdin, J.M. and Bi{\v{c}}evskis, J.J. and Kalninsh, A.A.},
TITLE = {Construction of complete sample system for correctness testing},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {1-12},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_178},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{van_Emde_Boas/75,
AUTHOR = {van Emde Boas, Peter},
TITLE = {Ten years of speedup},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {13-29},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hajek/75b,
AUTHOR = {H{\'a}jek, Petr},
TITLE = {On logics of discovery},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {30-45},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Harrison/75,
AUTHOR = {Harrison, Michael A.},
TITLE = {On models of protection in operating systems},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {46-60},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kral-Demner/75,
AUTHOR = {Kr{\'a}l, Jaroslav and Demner, Ji{\v{r}}{\'{i}}},
TITLE = {Parsing as a subtask of compiling},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {61-74},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_182},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mazurkiewicz/75,
AUTHOR = {Mazurkiewicz, Antoni},
TITLE = {Parallel recursive program schemes},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {75-87},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_183},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Novotny/75,
AUTHOR = {Novotn{\'y}, Miroslav},
TITLE = {On some problems concerning Pawlak's machines},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {88-100},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_184},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Salomaa/75,
AUTHOR = {Salomaa, Arto},
TITLE = {Formal power series and growth functions of Lindenmayer systems},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {101-113},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_185},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Starke/75,
AUTHOR = {Starke, Peter H.},
TITLE = {On the representability of relations by deterministic and nondeterministic multi-tape automata},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {114-124},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Trakhtenbrot/75,
AUTHOR = {Trakhtenbrot, B.A.},
TITLE = {On problems solvable by successive trials},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {125-137},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Trnkova/75,
AUTHOR = {Trnkov{\'a}, V{\v{e}}ra},
TITLE = {Automata and categories},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {138-152},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_188},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Zaslavski/75,
AUTHOR = {Zaslavski{\v{\i}}, I.D.},
TITLE = {On some models of computability of Boolean functions},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {153-159},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_189},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Adamek/75,
AUTHOR = {Ad{\'a}mek, Ji{\v{r}}{\'{i}}},
TITLE = {Automata and categories: Finiteness contra minimality},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {160-166},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_190},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Anisimov/75,
AUTHOR = {Anisimov, A.V.},
TITLE = {Languages over free groups},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {167-171},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ausiello-Protasi/75,
AUTHOR = {Ausiello, Giorgio and Protasi, Marco},
TITLE = {On the comparison of notions of approximation},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {172-178},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_192},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Benesova-Korec/75,
AUTHOR = {Bene{\v{s}}ov{\'a}, M. and Korec, I.},
TITLE = {Non-linear speed-up theorem for two register Minsky machines},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {179-185},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Best-Schmid/75,
AUTHOR = {Best, Eike and Schmid, Hans Albrecht},
TITLE = {Systems of open paths in Petri nets},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {186-193},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_194},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Boasson/75,
AUTHOR = {Boasson, L.},
TITLE = {On the largest full sub-AFL of the full AFL of context-free languages},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {194-198},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_195},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Chytil/75,
AUTHOR = {Chytil, Michael P.},
TITLE = {On complexity of nondeterministic Turing machines computations},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {199-205},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_196},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dikovski/75,
AUTHOR = {Dikovski{\v{\i}}, A.Ja.},
TITLE = {On closure properties of context-free derivation complexity classes},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {206-211},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_197},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Evtimov/75a,
AUTHOR = {Evtimov, Venelin K.},
TITLE = {Control structures in single block programs},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {212-218},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_198},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Freivald/75a,
AUTHOR = {Freivald, R.V.},
TITLE = {Minimal G{\"o}del numbers and their identification in the limit},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {219-225},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_199},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Gecseg/75,
AUTHOR = {G{\'e}cseg, Ferenc},
TITLE = {Isomorphic representation of automata},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {226-230},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_200},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Genrich/75a,
AUTHOR = {Genrich, Hartmann J.},
TITLE = {Extended simple regular expressions},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {231-237},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_201},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Gini-Gini/75,
AUTHOR = {Gini, Giuseppina and Gini, Maria},
TITLE = {CONNIVER programs by logical point of view},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {238-245},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_202},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Grzymala-Busse/75a,
AUTHOR = {Grzymala-Busse, Jerzy W.},
TITLE = {On the set of all automata with the same monoid of endomorphisms},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {246-251},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_203},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Havel/75a,
AUTHOR = {Havel, Ivan M.},
TITLE = {Nondeterministically recognizable sets of languages},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {252-257},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Havranek/75,
AUTHOR = {Havr{\'a}nek, Tom{\'a}{\v{s}}},
TITLE = {The approximation problem in computational statistics},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {258-265},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_205},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Indermark/75,
AUTHOR = {Indermark, Klaus},
TITLE = {The continuous algebra of monadic languages},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {266-270},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_206},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kanovic/75,
AUTHOR = {Kanovi{\v{c}}, Max},
TITLE = {On sets of complex-programmed numbers},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {271-272},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Karpinski/75a,
AUTHOR = {Karpi{\'n}ski, Marek},
TITLE = {Decision algorithms for Havel's branching automata},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {273-279},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_208},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Koubek-Reiterman/75,
AUTHOR = {Koubek, V{\'a}clav and Reiterman, Jan},
TITLE = {Automata and categories --- Input processes},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {280-286},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kroger/75,
AUTHOR = {Kr{\"o}ger, Fred},
TITLE = {Formalization of algorithmic reasoning},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {287-293},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_210},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Levi-Sirovich/75,
AUTHOR = {Levi, Giorgio and Sirovich, Franco},
TITLE = {Proving program properties, symbolic evaluation and logical procedural semantics},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {294-301},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_211},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Maluszynski/75a,
AUTHOR = {Ma{\l}uszy{\'n}ski, Jan},
TITLE = {A contribution to error recovery},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {302-307},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_212},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mayer/75a,
AUTHOR = {Mayer, O.},
TITLE = {On the analysis and synthesis problems for context-free expressions},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {308-314},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_213},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mehlhorn-Galil/75,
AUTHOR = {Mehlhorn, Kurt and Galil, Zvi},
TITLE = {Monotone switching circuits and Boolean matrix product},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {315-319},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_214},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Meznik/75,
AUTHOR = {Mezn{\'{i}}k, Ivan},
TITLE = {On some lattice-theoretic properties of generable languages},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {320-325},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_215},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Modina/75,
AUTHOR = {Modina, L.S.},
TITLE = {On some formal grammars generating dependency trees},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {326-329},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_216},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ng-Hsia-Yeh/75,
AUTHOR = {Ng, Peter A. and Hsia, Pei and Yeh, Raymond T.},
TITLE = {Graph walking automata},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {330-336},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_217},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Perl/75,
AUTHOR = {Perl, J{\"u}rgen},
TITLE = {On finding all solutions of the partitioning problem},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {337-343},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Piricka-Kelemenova/75,
AUTHOR = {Pirick{\'a}-Kelemenov{\'a}, Alica},
TITLE = {Greibach normal form complexity},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {344-350},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_219},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Podlovchenko/75,
AUTHOR = {Podlovchenko, R.I.},
TITLE = {On correctness and essentiality of some Ianov schemas equivalence relations},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {351-357},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_220},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Pudlak/75,
AUTHOR = {Pudl{\'a}k, Pavel},
TITLE = {Polynomially complete problems in the logic of automate discovery},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {358-361},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_221},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rajlich/75b,
AUTHOR = {Rajlich, V{\'a}clav},
TITLE = {Relational definition of computer languages},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {362-376},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_222},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{de_Roever/75a,
AUTHOR = {de Roever, Willem P.},
TITLE = {First-order reduction of call-by-name to call-by-value},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {377-398},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_223},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ruzicka/75,
AUTHOR = {Ru{\v{z}}i{\v{c}}ka, Peter},
TITLE = {Local disambiguating transformation},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {399-404},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Simovici/75,
AUTHOR = {Simovici, Dan A.},
TITLE = {On cardinal sequential outer measures},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {405-410},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_225},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Trakhtenbrot/75a,
AUTHOR = {Trakhtenbrot, Mark B.},
TITLE = {On representation of sequential and parallel functions},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {411-417},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_226},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tseytlin/75,
AUTHOR = {Tseytlin, G.E.},
TITLE = {The theory of the modified post algebras and multidimensional automata structures},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {418-425},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Turner/75,
AUTHOR = {Turner, Raymond},
TITLE = {An algebraic theory of formal languages},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {426-431},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_228},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Valiev/75,
AUTHOR = {Valiev, M.K.},
TITLE = {On polynomial reducibility of word problem under embedding of recursively presented groups in finitely presented groups},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {432-438},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_229},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Valk/75,
AUTHOR = {Valk, R{\"u}diger},
TITLE = {On the synthesis of automata with several initial states},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {439-444},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_230},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wagner/75a,
AUTHOR = {Wagner, Klaus},
TITLE = {A hierarchy of regular sequence sets},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {445-449},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wechler/75a,
AUTHOR = {Wechler, Wolfgang},
TITLE = {$R$-fuzzy grammars},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {450-456},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_232},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wechsung/75a,
AUTHOR = {Wechsung, Gerd},
TITLE = {Characterization of some classes of context-free languages in terms of complexity classes},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {457-461},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_233},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wiehagen/75,
AUTHOR = {Wiehagen, Rolf},
TITLE = {Inductive inference of recursive functions},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {462-464},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Winkowski/75a,
AUTHOR = {Winkowski, J{\'o}zef},
TITLE = {Proving properties of programs by means of predicate logic},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {465-471},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_235},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wojdylo/75,
AUTHOR = {Wojdy{\l}o, Boles{\l}aw},
TITLE = {A generalization of Scott's flow diagrams},
BOOKTITLE = {Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science, MFCS'1975 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czechoslovakia, September 1-5, 1975)},
SERIES = {LNCS},
VOLUME = {32},
PAGES = {472-476},
YEAR = {1975},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-07389-2_236},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}