@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},
}
@incollection{Becvar/75,
AUTHOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
TITLE = {Sequential functions and generalized Moore and Mealy automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {1-8},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_661},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bertoni/75,
AUTHOR = {Bertoni, A.},
TITLE = {Mathematical methods of the theory of stochastic automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {9-22},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_662},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Beyga/75,
AUTHOR = {Beyga, L.},
TITLE = {On the quasi-controllability of automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {23-25},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_663},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brzozowski-Yoeli/75,
AUTHOR = {Brzozowski, J. and Yoeli, M.},
TITLE = {Models for analysis of races in sequential networks},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {26-32},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_664},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Goguen-Thatcher-Wagner-Wright/75,
AUTHOR = {Goguen, J.A. and Thatcher, J.W. and Wagner, E.G. and Wright, J.B.},
TITLE = {Factorizations, congruences, and the decomposition of automata and systems},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {33-45},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_665},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Grzymala-Busse/75,
AUTHOR = {Grzymala-Busse, Jerzy W.},
TITLE = {On the periodic sum and extensions of finite automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {46-52},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_666},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Havel/75,
AUTHOR = {Havel, Ivan M.},
TITLE = {Finite branching automata: Automata theory motivated by problem solving},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {53-61},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_667},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mikulecky/75,
AUTHOR = {Mikuleck{\'y}, Peter},
TITLE = {On configurations in cellular automata},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {62-68},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_668},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wagner-Staiger/75,
AUTHOR = {Wagner, K. and Staiger, L.},
TITLE = {Finite automata acceptation of infinite sequences},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {69-72},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_669},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wechler/75,
AUTHOR = {Wechler, W.},
TITLE = {R-fuzzy automata with a time-variant structure},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {73-76},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_670},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Freivald/75,
AUTHOR = {Freivald, R.V.},
TITLE = {Functions computable in the limit by probabilistic machines},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {77-87},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_671},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Goetze-Klette/75,
AUTHOR = {Goetze, B. and Klette, R.},
TITLE = {Some properties of limit recursive functions},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {88-90},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_672},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Konikowska/75,
AUTHOR = {Konikowska, B.},
TITLE = {On some approximation problems of continuous computation},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {91-106},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_673},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kwasowiec/75,
AUTHOR = {Kwasowiec, W.},
TITLE = {Set-theoretic properties of programs in stored program computers},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {107-113},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_674},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ras/75,
AUTHOR = {Ra{\'s}, Z.},
TITLE = {Classification of programs of a SPC},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {114-125},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_675},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tiuryn/75,
AUTHOR = {Tiuryn, Jerzy},
TITLE = {The algebraic approach to the theory of computing systems},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {126-142},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_676},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Zakowski/75,
AUTHOR = {{\.Z}akowski, W.},
TITLE = {Continuous simple Z-machines, Z-computable functions and sets of functions of $n$ real variables},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {143-156},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_677},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dahl/75,
AUTHOR = {Dahl, Ole-Johan},
TITLE = {An approach to correctness proofs of semicoroutines},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {157-174},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_678},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dembinski/75,
AUTHOR = {Dembi{\'n}ski, P.},
TITLE = {Towards an understanding of complex processes},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {175-185},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_679},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Skowron/75,
AUTHOR = {Skowron, A.},
TITLE = {Simulation},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {186-201},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_680},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Winkowski/75,
AUTHOR = {Winkowski, J.},
TITLE = {Concurrent programs},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {202-221},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_681},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Crestin/75,
AUTHOR = {Crestin, J.P.},
TITLE = {Ultralinear expressions},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {222-231},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_682},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Fontet/75,
AUTHOR = {Fontet, Max},
TITLE = {A family of algebraic systems related to the theory of equations on free monoids},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {232-248},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_683},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Karpinski/75,
AUTHOR = {Karpi{\'n}ski, Marek},
TITLE = {Stretching by probabilistic tree automata and Santos grammars},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {249-255},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_684},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kral/75,
AUTHOR = {Kr{\'a}l, J.},
TITLE = {Top down versus bottom up syntax analysis revised},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {256-273},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_685},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Maluszynski/75,
AUTHOR = {Ma{\l}uszy{\'n}ski, J.},
TITLE = {Substring languages},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {274-284},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_686},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Owsianiecka/75,
AUTHOR = {Owsianiecka, W.A.},
TITLE = {Defining languages by Mazurkiewicz aigorithms},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {285-291},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_687},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Piricka/75,
AUTHOR = {Pirick{\'a}, A.},
TITLE = {Complexity and normal forms of context-free languages},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {292-297},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_688},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wechsung/75,
AUTHOR = {Wechsung, G.},
TITLE = {The axiomatization problem of a theory of linear languages},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {298-302},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_689},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kelemen/75,
AUTHOR = {Kelemen, Jozef},
TITLE = {A lattice-theoretical approach to problem-solving},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {303-306},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_690},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kulpa/75,
AUTHOR = {Kulpa, Zenon},
TITLE = {On the equivalence of planar grammars and parallel picture processing algorithms},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {307-312},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_691},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Lipski/75,
AUTHOR = {Lipski, Witold, Jr.},
TITLE = {Combinatorial aspects of information storage and retrieval},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {313-326},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_692},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Banachowski/75,
AUTHOR = {Banachowski, L.},
TITLE = {Modular approach to the logical theory of programs},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {327-332},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_693},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Blikle/75,
AUTHOR = {Blikle, A.},
TITLE = {Proving programs by sets of computations},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {333-358},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_694},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Evtimov/75,
AUTHOR = {Evtimov, V.},
TITLE = {Bases of paths in correctness proofs},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {359-360},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_695},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hoehnke/75,
AUTHOR = {Hoehnke, Hans-J{\"u}rgen},
TITLE = {Algebraic models I},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {361-371},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_696},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Irlik/75,
AUTHOR = {Irlik, Jacek},
TITLE = {Structured programmability of iterative algorithms},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {372-376},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_697},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Leszczylowski/75,
AUTHOR = {Leszczy{\l}owski, J.},
TITLE = {On equivalence of programs},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {377-380},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_698},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Leszczylowski/75a,
AUTHOR = {Leszczy{\l}owski, J.},
TITLE = {Mathematical model of programs with dynamic allocation of variables},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {381-387},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_699},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Miglioli/75,
AUTHOR = {Miglioli, Pierangelo},
TITLE = {Mathematical foundations of motivation languages and synthesis maps},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {388-408},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_700},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mosses/75,
AUTHOR = {Mosses, P.D.},
TITLE = {The semantics of semantic equations},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {409-422},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_701},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rasiowa/75,
AUTHOR = {Rasiowa, H.},
TITLE = {$\omega^+$-valued algorithmic logic as a tool to investigate procedures},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {423-450},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_702},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{de_Roever/75,
AUTHOR = {de Roever, W.P.},
TITLE = {Call-by-value versus call-by-name: A proof-theoretic comparison},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {451-463},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_703},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Salwicki/75,
AUTHOR = {Salwicki, Andrzej},
TITLE = {Procedures, formal computations and models},
BOOKTITLE = {Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science, MFCS'1974 (Jadwisin, Poland, June 17-22, 1974)},
SERIES = {LNCS},
VOLUME = {28},
PAGES = {464-484},
YEAR = {1975},
EDITOR = {Blikle, Andrzej},
URL = {http://dx.doi.org/10.1007/3-540-07162-8_704},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}