@incollection{Ausiello/77,
AUTHOR = {Ausiello, Giorgio},
TITLE = {On the structure and properties of $NP$-complete problems and their associated optimization problems},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {1-16},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_123},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Blikle/77,
AUTHOR = {Blikle, Andrzej},
TITLE = {A comparative review of some program verification methods},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {17-33},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_124},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Boasson/77,
AUTHOR = {Boasson, L.},
TITLE = {Classification of the context-free languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {34-43},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_125},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Elgot/77,
AUTHOR = {Elgot, Calvin C.},
TITLE = {Finite automaton from a flowchart scheme point of view},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {44-51},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Engeler/77,
AUTHOR = {Engeler, E.},
TITLE = {A new type of models of computation},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {52-58},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_127},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ershov-Itkin/77,
AUTHOR = {Ershov, A.P. and Itkin, V.E.},
TITLE = {Correctness of mixed computation in Algol-like programs},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {59-77},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_128},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Gecseg-E-Toth/77,
AUTHOR = {G{\'e}cseg, Ferenc and E.-T{\'o}th, P{\'e}ter},
TITLE = {Algebra and logic in theoretical computer science},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {78-92},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_129},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kacewicz-Wozniakowski/77,
AUTHOR = {Kacewicz, B. and Wo{\'z}niakowski, H.},
TITLE = {A survey of recent problems and results in analytic computational complexity},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {93-107},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_130},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Maurer-Ottmann/77,
AUTHOR = {Maurer, H.A. and Ottmann, Th.},
TITLE = {Tree-structures for set manipulation problems},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {108-121},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_131},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Salwicki/77,
AUTHOR = {Salwicki, Andrzej},
TITLE = {Applied algorithmic logic},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {122-134},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_132},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Schnorr/77,
AUTHOR = {Schnorr, C.P.},
TITLE = {Improved lower bounds on the number of multiplications/divisions which are necessary to evaluate polynomials},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {135-147},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_133},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Trakhtenbrot/77,
AUTHOR = {Trakhtenbrot, B.A.},
TITLE = {Frequency algorithms and computations},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {148-161},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_134},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Valiant/77,
AUTHOR = {Valiant, Leslie G.},
TITLE = {Graph-theoretic arguments in low-level complexity},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {162-176},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_135},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wechsung/77,
AUTHOR = {Wechsung, Gerd},
TITLE = {Properties of complexity classes --- A short survey},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {177-191},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_136},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wright-Wagner-Thatcher/77,
AUTHOR = {Wright, J.B. and Wagner, E.G. and Thatcher, J.W.},
TITLE = {A uniform approach to inductive posets and inductive closure},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {192-212},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_137},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Agafonov/77,
AUTHOR = {Agafonov, V.N.},
TITLE = {Generalized probabilistic grammars},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {213-221},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_138},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ausiello-DAtri-Gaudiano-Protasi/77,
AUTHOR = {Ausiello, Giorgio and D'Atri, Alessandro and Gaudiano, Marco and Protasi, Marco},
TITLE = {Classes of structurally isomorphic $NP$-optimization problems},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {222-230},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_139},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Autebert/77,
AUTHOR = {Autebert, Jean-Michel},
TITLE = {Pushdown-automata and families of languages generating cylinders},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {231-239},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{de_Bakker/77,
AUTHOR = {de Bakker, J.W.},
TITLE = {Semantics of infinite processes using generalized trees},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {240-246},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_141},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Benda-Bendova/77,
AUTHOR = {Benda, V{\'a}clav and Bendov{\'a}, Kamila},
TITLE = {Characterization of recognizable families by means of regular languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {247-252},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_142},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bertoni-Mauri-Torelli/77,
AUTHOR = {Bertoni, A. and Mauri, G. and Torelli, M.},
TITLE = {An algebraic approach to problem solution and problem semantics},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {253-262},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_143},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cerny/77,
AUTHOR = {{\v{C}}ern{\'y}, A.},
TITLE = {Complexity and minimality of context-free grammars and languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {263-271},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_144},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Chytil/77,
AUTHOR = {Chytil, Michal P.},
TITLE = {Comparison of the active visiting and the crossing complexities},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {272-281},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hajek/77,
AUTHOR = {H{\'a}jek, P.},
TITLE = {Arithmetical complexity of some problems in computer science},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {282-287},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_146},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{von_Henke/77,
AUTHOR = {von Henke, Friedrich W.},
TITLE = {Formal transformations and the development of programs},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {288-296},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_147},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Horvath/77a,
AUTHOR = {Horv{\'a}th, S{\'a}ndor},
TITLE = {Optimal RASP programs for arbitrarily complex 0-1 valued functions},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {297-302},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_148},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Janssen-van_Emde_Boas/77,
AUTHOR = {Janssen, T.M.V. and van Emde Boas, P.},
TITLE = {The expressive power of intensional logic in the semantics of programming languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {303-311},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_149},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kanovic/77,
AUTHOR = {Kanovi{\v{c}}, Max I.},
TITLE = {On the complexity of equivalent transformations in programming languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {312-314},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_150},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kasyanov-Pokrovsky/77,
AUTHOR = {Kasyanov, V.N. and Pokrovsky, S.B.},
TITLE = {Schematology in a multi-language optimizer},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {315-323},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Korec/77,
AUTHOR = {Korec, Ivan},
TITLE = {Decidability (undecidability) of equivalence of Minsky machines with components consisting of at most seven (eight) instructions},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {324-332},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_152},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kral/77,
AUTHOR = {Kr{\'a}l, Jaroslav},
TITLE = {A top-down no backtrack parsing of general context-free languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {333-341},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_153},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kramosil/77,
AUTHOR = {Kramosil, Ivan},
TITLE = {A probabilistic restriction of branching plans},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {342-349},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_154},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kudlek-Novotny/77,
AUTHOR = {Kudlek, Manfred and Novotn{\'y}, Miroslav},
TITLE = {Reducing operators for normed general formal systems},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {350-358},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_155},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Levin-Vjugin/77,
AUTHOR = {Levin, L.A. and V'jugin, V.V.},
TITLE = {Invariant properties of informational bulks},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {359-364},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_156},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Linna/77a,
AUTHOR = {Linna, Matti},
TITLE = {Two decidability results for deterministic pushdown automata},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {365-373},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_157},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Lipski/77a,
AUTHOR = {Lipski, Witold, Jr.},
TITLE = {On the logic of incomplete information},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {374-381},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_158},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{De_Luca-Termini/77,
AUTHOR = {De Luca, Aldo and Termini, Settimo},
TITLE = {Measures of ambiguity in the analysis of complex systems},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {382-389},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_159},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Meersman-Rozenberg/77,
AUTHOR = {Meersman, R. and Rozenberg, G.},
TITLE = {Two-level meta-controlled substitution grammars},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {390-397},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_160},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Miglioli-Ornaghi/77,
AUTHOR = {Miglioli, P.A. and Ornaghi, M.},
TITLE = {A calculus to build up correct programs},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {398-409},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ng-Bang/77,
AUTHOR = {Ng, Peter A. and Bang, Sung Y.},
TITLE = {Another approach for proving program correctness},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {410-419},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nijholt/77a,
AUTHOR = {Nijholt, Anton},
TITLE = {Cover results and normal forms},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {420-429},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Peckel/77,
AUTHOR = {Peckel, Jan},
TITLE = {On a deterministic subclass of context-free languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {430-434},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_164},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Pittl/77,
AUTHOR = {Pittl, Jan},
TITLE = {Exponential optimization for the LLP(k) parsing method},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {435-442},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Preparata/77a,
AUTHOR = {Preparata, F.P.},
TITLE = {The medial axis of a simple polygon},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {443-450},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_166},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Raulefs/77,
AUTHOR = {Raulefs, Peter},
TITLE = {Semantics and proof rules for coroutine hierarchies in block-structured programming languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {451-459},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_167},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rozenberg-Vermeir/77,
AUTHOR = {Rozenberg, G. and Vermeir, D.},
TITLE = {Acceptors for iteration languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {460-464},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_168},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ruzicka-Wiedermann/77,
AUTHOR = {Ru{\v{z}}i{\v{c}}ka, Peter and Wiedermann, Juraj},
TITLE = {How good is the adversary lower bound ?},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {465-474},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_169},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sokolowski/77a,
AUTHOR = {Soko{\l}owski, Stefan},
TITLE = {Total correctness for procedures},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {475-483},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_170},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sturc/77,
AUTHOR = {{\v{S}}turc, J{\'a}n},
TITLE = {A model for retrieval systems and some mathematical problems behind},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {484-492},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_171},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sudborough/77a,
AUTHOR = {Sudborough, I.H.},
TITLE = {Time and tape bounded auxiliary pushdown automata},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {493-503},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_172},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sykora/77,
AUTHOR = {S{\'y}kora, Ondrej},
TITLE = {A fast non-commutative algorithm for matrix multiplication},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {504-512},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tiuryn/77,
AUTHOR = {Tiuryn, J.},
TITLE = {Fixed-points and algebras with infinitely long expressions, I},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {513-522},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Trnkova-Adamek/77,
AUTHOR = {Trnkov{\'a}, V{\v{e}}ra and Ad{\'a}mek, Ji{\v{r}}{\'{i}}},
TITLE = {On languages, accepted by machines in the category of sets},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {523-531},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_175},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Valiev/77a,
AUTHOR = {Valiev, M.K.},
TITLE = {Real time computations with restrictions on tape alphabet},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {532-536},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_176},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Vianu/77,
AUTHOR = {Vianu, Victor},
TITLE = {The Bodnarchuk metric space of languages and the topology of the learning space},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {537-542},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wagner-Wechsung/77,
AUTHOR = {Wagner, Klaus and Wechsung, Gerd},
TITLE = {Complexity hierarchies of oracles},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {543-548},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_178},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wedde-Winkowski/77,
AUTHOR = {Wedde, Horst and Winkowski, J{\'o}zef},
TITLE = {Determining processes by violations},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {549-559},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Weicker/77,
AUTHOR = {Weicker, Reinhold},
TITLE = {The influence of the machine model on the time complexity of context-free language recognition},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {560-569},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Weihrauch/77,
AUTHOR = {Weihrauch, Klaus},
TITLE = {A generalized computability thesis},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {570-570},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wiehagen/77,
AUTHOR = {Wiehagen, Rolf},
TITLE = {Identification of formal languages},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {571-579},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_182},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Goguen-Meseguer/77,
AUTHOR = {Goguen, J.A. and Meseguer, J.},
TITLE = {Correctness of recursive flow diagram programs},
BOOKTITLE = {Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science, MFCS'1977 (Tatransk{\'a} Lomnica, Czechoslovakia, September 5-9, 1977)},
SERIES = {LNCS},
VOLUME = {53},
PAGES = {580-595},
YEAR = {1977},
EDITOR = {Gruska, Jozef},
URL = {http://dx.doi.org/10.1007/3-540-08353-7_183},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}