@incollection{Apt-de_Bakker/76,
AUTHOR = {Apt, K.R. and de Bakker, J.W.},
TITLE = {Exercises in denotational semantics},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {1-11},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_157},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brauer/76,
AUTHOR = {Brauer, Wilfried},
TITLE = {W-automata and their languages},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {12-22},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_158},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cadiou/76,
AUTHOR = {Cadiou, J.-M.},
TITLE = {On semantic issues in the relational model of data},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {23-38},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_159},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dijkstra/76a,
AUTHOR = {Dijkstra, Edsger W.},
TITLE = {The effective arrangement of logical systems},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {39-51},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_160},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Germano-Maggiolo-Schettini/76,
AUTHOR = {Germano, G. and Maggiolo-Schettini, A.},
TITLE = {Recursivity, sequence recursivity, stack recursivity and semantics of programs},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {52-64},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Gruska/76,
AUTHOR = {Gruska, Jozef},
TITLE = {Descriptional complexity (of languages) --- A short survey},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {65-80},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Havel/76,
AUTHOR = {Havel, Ivan M.},
TITLE = {On the branching structure of languages},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {81-98},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nagorny/76,
AUTHOR = {Nagorny, N.M.},
TITLE = {Algorithms and real numbers},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {99-104},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_164},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Novotny/76,
AUTHOR = {Novotn{\'y}, Miroslav},
TITLE = {On mappings of machines},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {105-114},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Salomaa/76,
AUTHOR = {Salomaa, Arto},
TITLE = {Recent results on $L$ systems},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {115-123},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_166},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Starke/76a,
AUTHOR = {Starke, Peter H.},
TITLE = {Decision problems for multi-tape automata},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {124-136},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_167},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Trakhtenbrot/76a,
AUTHOR = {Trakhtenbrot, B.A.},
TITLE = {Recursive program schemes and computable functionals},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {137-152},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_168},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wagner-Wright-Goguen-Thatcher/76,
AUTHOR = {Wagner, E.G. and Wright, J.B. and Goguen, J.A. and Thatcher, J.W.},
TITLE = {Some fundamentals of order-algebraic semantics},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {153-168},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_169},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Agafonov/76,
AUTHOR = {Agafonov, V.N.},
TITLE = {On attribute grammars},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {169-172},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_170},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Aiello-Aiello-Attardi-Cavallari-Prini/76,
AUTHOR = {Aiello, L. and Aiello, M. and Attardi, G. and Cavallari, P. and Prini, G.},
TITLE = {Formal definition of semantics of generalized control regimes},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {173-179},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_171},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bainbridge/76a,
AUTHOR = {Bainbridge, E.S.},
TITLE = {Minimal While programs},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {180-186},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_172},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Benda-Bendova/76,
AUTHOR = {Benda, V{\'a}clav and Bendov{\'a}, Kamila},
TITLE = {On specific features of recognizable families of languages},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {187-193},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bergmann/76,
AUTHOR = {Bergmann, Eberhard},
TITLE = {On the termination of simple computer programs},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {194-201},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Berthelot-Roucairol/76,
AUTHOR = {Berthelot, G. and Roucairol, G.},
TITLE = {Reduction of Petri-nets},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {202-209},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_175},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brunner-Wechler/76,
AUTHOR = {Brunner, J{\"u}rgen and Wechler, Wolfgang},
TITLE = {On behaviour of $R$-fuzzy automata},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {210-215},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_176},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Buda/76,
AUTHOR = {Buda, A.O.},
TITLE = {Cannonizing reducibility method in the theory of program schemata},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {216-223},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_177},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Choffrut/76,
AUTHOR = {Choffrut, C.},
TITLE = {Strongly connected G-S-M mappings preserving conjugation},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {224-229},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_178},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Chytil/76,
AUTHOR = {Chytil, Michal P.},
TITLE = {Analysis of the non-context-free component of formal languages},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {230-236},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Colombetti-Pagello/76,
AUTHOR = {Colombetti, Marco and Pagello, Enrico},
TITLE = {Programs, computations and temporal features},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {237-243},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Coy/76,
AUTHOR = {Coy, Wolfgang},
TITLE = {A note on the automatic generation of inductive assertions},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {244-249},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cremers-Hibbard/76,
AUTHOR = {Cremers, Armin and Hibbard, Thomas N.},
TITLE = {On the relationship between a procedure and its data},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {250-254},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_182},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dekhtyar/76,
AUTHOR = {Dekhtyar, M.},
TITLE = {On the relativization of deterministic and nondeterministic complexity classes},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {255-259},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_183},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dinca/76,
AUTHOR = {Dinc{\v{a}}, Alexandru},
TITLE = {The metric properties on the semigroups and the languages},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {260-264},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_184},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dobkin-Lipton/76a,
AUTHOR = {Dobkin, David and Lipton, Richard J.},
TITLE = {A lower bound of $1/2n^2$ on linear search programs for the knapsack problem},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {265-269},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_185},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dorfler/76,
AUTHOR = {D{\"o}rfler, W.},
TITLE = {The direct product of automata and quasi-automata},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {270-276},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ehrich/76,
AUTHOR = {Ehrich, H.-D.},
TITLE = {An axiomatic approach to information structures},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {277-283},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ehrig-Kreowski/76a,
AUTHOR = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg},
TITLE = {Parallelism of manipulations in multidimensional information structures},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {284-293},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_188},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ginsburg-Mayer/76,
AUTHOR = {Ginsburg, Seymour and Mayer, Otto},
TITLE = {On strict interpretations of grammar forms},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {294-298},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_189},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Gorun/76,
AUTHOR = {Gorun, Irina},
TITLE = {A hierarchy of context-sensitive languages},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {299-303},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_190},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Gorski/76,
AUTHOR = {G{\'o}rski, Janusz},
TITLE = {On consecutive storage of records},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {304-310},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Grabowski/76,
AUTHOR = {Grabowski, M.},
TITLE = {A remark on equivalence of Mazurkiewicz's finite --- Control algorithms over nets},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {311-316},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_192},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hansen-Leszczylowski/76,
AUTHOR = {Hansen, I. and Leszczy{\l}owski, J.},
TITLE = {Microprogram --- Oriented model of the controlled structure},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {317-322},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Harrison/76,
AUTHOR = {Harrison, M.D.},
TITLE = {Relations between programs with different storage requirements},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {323-329},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_195},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{von_Henke/76,
AUTHOR = {von Henke, Friedrich W.},
TITLE = {An algebraic approach to data types, program verification, and program synthesis},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {330-336},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_195},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hopner-Opp/76,
AUTHOR = {H{\"o}pner, Matthias and Opp, Manfred},
TITLE = {About three equational classes of languages built up by shuffle operations},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {337-344},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_196},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Huwig/76,
AUTHOR = {Huwig, H.},
TITLE = {A machine independent description of complexity classes, definable by nondeterministic as well as deterministic Turing machines with primitiv recursive tape or time bounds},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {345-351},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_197},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Indermark/76,
AUTHOR = {Indermark, Klaus},
TITLE = {Schemes with recursion on higher types},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {352-358},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_198},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Irlik/76,
AUTHOR = {Irlik, Jacek},
TITLE = {Constructing iterative version of a system of recursive procedures},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {359-363},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_199},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Issel/76,
AUTHOR = {Issel, Walter},
TITLE = {A method using a set-theoretical formalism to describe the semantics of programming languages},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {364-371},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_200},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Jagielski/76,
AUTHOR = {Jagielski, Romuald},
TITLE = {The cubic search method},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {372-376},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_201},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Janicki/76,
AUTHOR = {Janicki, Ryszard},
TITLE = {Vectors of coroutines},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {377-384},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_202},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Jedrzejowicz/76,
AUTHOR = {J{\c{e}}drzejowicz, Joanna},
TITLE = {One --- One degrees of Turing machines decision problems},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {385-389},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_203},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kelemen/76,
AUTHOR = {Kelemen, Jozef},
TITLE = {Heuristic representation of state-space by finite automaton},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {390-394},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Knast/76,
AUTHOR = {Knast, Robert},
TITLE = {Semigroup characterizations of some language varieties},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {395-403},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_205},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kreczmar/76,
AUTHOR = {Kreczmar, Antoni},
TITLE = {On memory requirements of Strassen's algorithms},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {404-407},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_206},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kwasowiec/76,
AUTHOR = {Kwasowiec, W{\l}odzimierz},
TITLE = {Determinism in concurrent systems},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {408-415},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Lautenbach-Wedde/76,
AUTHOR = {Lautenbach, K. and Wedde, H.},
TITLE = {Generating control mechanisms by restrictions},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {416-422},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_208},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Laski/76,
AUTHOR = {{\L}{\c{a}}ski, J.W.},
TITLE = {On diagnosis of algorithmical processes},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {423-429},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mikolajczak/76,
AUTHOR = {Miko{\l}ajczak, Boles{\l}aw},
TITLE = {On some properties of cyclic automata and their extensions},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {430-435},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_210},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mosses/76,
AUTHOR = {Mosses, P.D.},
TITLE = {Compiler generation using denotational semantics},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {436-441},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_211},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nepomniaschy/76,
AUTHOR = {Nepomniaschy, V.A.},
TITLE = {On divergence problem for program schemas},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {442-445},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_212},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nijholt/76,
AUTHOR = {Nijholt, Anton},
TITLE = {On the parsing of $LL$-regular grammars},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {446-452},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_213},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Perrin/76,
AUTHOR = {Perrin, D.},
TITLE = {The characteristic polynomial of a finite automaton},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {453-457},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_214},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Prusinkiewicz/76,
AUTHOR = {Prusinkiewicz, P.},
TITLE = {Error detection using regular languages},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {458-464},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_215},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ras/76,
AUTHOR = {Ra{\'s}, Zbigniew},
TITLE = {On a relationship between programs of address machines and Mazurkiewicz algorithms},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {465-471},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_216},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{de_Roever/76,
AUTHOR = {de Roever, W.P.},
TITLE = {Dijkstra's predicate transformer, non-determinism, recursion, and termination},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {472-481},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_217},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rozenberg-Vermeir/76,
AUTHOR = {Rozenberg, G. and Vermeir, D.},
TITLE = {Context-free programmed grammars and ETOL systems},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {482-487},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rus/76,
AUTHOR = {Rus, Teodor},
TITLE = {Context-free algebra: A mathematical device for compiler specification},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {488-494},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_219},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ruzicka-Wiedermann/76,
AUTHOR = {Ru{\v{z}}i{\v{c}}ka, Peter and Wiedermann, Juraj},
TITLE = {On the lower bound for minimum comparison selection},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {495-502},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_220},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Salwicki-Muldner/76,
AUTHOR = {Salwicki, A. and M{\"u}ldner, T.},
TITLE = {Computational processes generated by programs with /recursive/ procedures and block structures},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {503-509},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_221},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sakarovitch/76,
AUTHOR = {Sakarovitch, J.},
TITLE = {An algebraic framework for the study of the syntactic monoids application to the group languages},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {510-516},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_222},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sazonov/76,
AUTHOR = {Sazonov, V.Yu.},
TITLE = {Degrees of parallelism in computations},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {517-523},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_223},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Schurmann/76,
AUTHOR = {Schurmann, A.},
TITLE = {On adaptability of a system of programs},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {524-529},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Skowron/76,
AUTHOR = {Skowron, A.},
TITLE = {A mathematical model of parallel information processing},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {530-536},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_225},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Smyth/76,
AUTHOR = {Smyth, M.B.},
TITLE = {Powerdomains},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {537-543},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_226},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tiuryn/76,
AUTHOR = {Tiuryn, J.},
TITLE = {On the domain of iteration in iterative algebraic theories},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {544-550},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Verbeek-Weihrauch/76,
AUTHOR = {Verbeek, Rutger and Weihrauch, Klaus},
TITLE = {The influence of the data presentation on the computational power of machines},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {551-558},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_228},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Winkowski/76,
AUTHOR = {Winkowski, J{\'o}zef},
TITLE = {On sequential modelling of non-sequential processes},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {559-568},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_229},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Zwinogrodzki/76,
AUTHOR = {Zwinogrodzki, Zbigniew},
TITLE = {Equivalence and optimization of recursive program schemata},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {569-575},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_230},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Giarratana-Gimona-Montanari/76,
AUTHOR = {Giarratana, V. and Gimona, F. and Montanari, U.},
TITLE = {Observability concepts in abstract data type specification},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {576-587},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Genrich-Thieler-Mevissen/76,
AUTHOR = {Genrich, Hartmann and Thieler-Mevissen, Gerda},
TITLE = {The calculus of facts},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {588-595},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_232},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Karpinski/76,
AUTHOR = {Karpi{\'n}ski, Marek},
TITLE = {Multiplicity functions on $\omega$-automata},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {596-601},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_233},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mirkowska-Salwicki/76,
AUTHOR = {Mirkowska, G. and Salwicki, A.},
TITLE = {A complete axiomatic characterization of algorithmic properties of block-structured programs with procedures},
BOOKTITLE = {Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (Gda{\'n}sk, Poland, September 6-10, 1976)},
SERIES = {LNCS},
VOLUME = {45},
PAGES = {602-606},
YEAR = {1976},
EDITOR = {Mazurkiewicz, A.},
URL = {http://dx.doi.org/10.1007/3-540-07854-1_234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}