@incollection{Bjorner/80,
AUTHOR = {Bj{\o}rner, Dines},
TITLE = {Formal description of programming concepts --- A software engineering viewpoint},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {1-21},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022492},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Burstall/80,
AUTHOR = {Burstall, R.M.},
TITLE = {Electronic category theory},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {22-39},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022493},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hartmanis-Mahaney/80,
AUTHOR = {Hartmanis, J. and Mahaney, S.R.},
TITLE = {An essay about research on sparse $NP$ complete sets},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {40-57},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022494},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Keller/80,
AUTHOR = {Keller, Robert M.},
TITLE = {Some theoretical aspects of applicative multiprocessing},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {58-74},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022495},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wong/80a,
AUTHOR = {Wong, C.K.},
TITLE = {On some discrete optimization problems in mass storage systems},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {75-93},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022496},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wulf/80,
AUTHOR = {Wulf, Wm.A.},
TITLE = {Abstract data types: A retrospective and prospective view},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {94-112},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022497},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Arnold-Nivat/80b,
AUTHOR = {Arnold, A. and Nivat, M.},
TITLE = {Controlling behaviours of systems: Some basic concepts and some applications},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {113-122},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022498},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ausiello-Batini-Moscarini/80,
AUTHOR = {Ausiello, G. and Batini, C. and Moscarini, M.},
TITLE = {Conceptual relations between databases transformed under join and projection},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {123-136},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022499},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Berenguer-Diaz/80,
AUTHOR = {Berenguer, X. and Diaz, J.},
TITLE = {The weighted Sperner's set problem},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {137-141},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022500},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Best/80,
AUTHOR = {Best, E.},
TITLE = {Proof of a concurrent program finding Euler paths},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {142-153},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022501},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bibel/80,
AUTHOR = {Bibel, Wolfgang},
TITLE = {A theoretical basis for the systematic proof method},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {154-167},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022502},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brock/80,
AUTHOR = {Brock, J. Dean},
TITLE = {Consistent semantics for a data flow language},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {168-180},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022503},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cardelli/80,
AUTHOR = {Cardelli, Luca},
TITLE = {Analog processes},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {181-193},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022504},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Coppo/80,
AUTHOR = {Coppo, Mario},
TITLE = {An extended polymorphic type system for applicative languages},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {194-204},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022505},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Danko/80,
AUTHOR = {Da{\'n}ko, Wiktor},
TITLE = {A criterion of undecidability of algorithmic theories},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {205-218},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022506},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Degano-Lomanto-Sirovich/80,
AUTHOR = {Degano, P. and Lomanto, A. and Sirovich, F.},
TITLE = {On finding the optimal access path to resolve a relational data base query},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {219-230},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022507},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ehrig-Kreowski-Mahr-Padawitz/80,
AUTHOR = {Ehrig, H. and Kreowski, H.-J. and Mahr, B. and Padawitz, P.},
TITLE = {Compound algebraic implementations: An approach to stepwise refinement of software systems},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {231-245},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022508},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Harel/80b,
AUTHOR = {Harel, David},
TITLE = {On and/or schemes},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {246-260},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022509},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hennessy-Plotkin/80,
AUTHOR = {Hennessy, M.C.B. and Plotkin, G.D.},
TITLE = {A term model for CCS},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {261-274},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022510},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hoffmann-Schmiedecke/80,
AUTHOR = {Hoffmann, Berthold and Schmiedecke, Ilse-R.},
TITLE = {A mathematical approach to multi-pass parsing},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {275-290},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022511},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hupbach/80,
AUTHOR = {Hupbach, Ulrich L.},
TITLE = {Abstract implementation of abstract data types},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {291-304},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022512},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{JaJa-Simon/80,
AUTHOR = {Ja'Ja', Joseph and Simon, Janos},
TITLE = {Parallel algorithms in graph theory: Planarity testing},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {305-319},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022513},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Janicki/80,
AUTHOR = {Janicki, Ryszard},
TITLE = {On atomic nets and concurrency relations},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {320-333},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022514},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Janssens-Rozenberg/80,
AUTHOR = {Janssens, D. and Rozenberg, G.},
TITLE = {Node-label controlled graph grammars},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {334-347},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022515},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Jensen/80,
AUTHOR = {Jensen, Kurt},
TITLE = {A method to compare the descriptive power of different types of Petri nets},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {348-361},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022516},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Klaeren/80,
AUTHOR = {Klaeren, Herbert A.},
TITLE = {A simple class of algorithmic specifications for abstract software modules},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {362-374},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022517},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kraft-Wedde/80,
AUTHOR = {Kraft, Norbert and Wedde, Horst},
TITLE = {Inducing patterns of behaviour in distributed system parts},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {375-386},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022518},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kupka/80,
AUTHOR = {Kupka, Ingbert},
TITLE = {Van Wijngaarden grammars as a special information processing model},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {387-401},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022519},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kwong-Wood/80,
AUTHOR = {Kwong, Y.S. and Wood, D.},
TITLE = {Approaches to concurrency in B-trees},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {402-413},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022520},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Monien/80,
AUTHOR = {Monien, Burkhard},
TITLE = {On a subclass of pseudopolynomial problems},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {414-425},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022521},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Muller/80,
AUTHOR = {M{\"u}ller, Horst},
TITLE = {Decidability of reachability in persistent vector replacement systems},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {426-438},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022522},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Okoma/80,
AUTHOR = {Okoma, Seiichi},
TITLE = {Generalized Heapsort},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {439-451},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022523},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ono-Nakamura/80,
AUTHOR = {Ono, Hiroakira and Nakamura, Akira},
TITLE = {Decidability results on a query language for data bases with incomplete information},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {452-459},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022524},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Padawitz/80,
AUTHOR = {Padawitz, Peter},
TITLE = {New results on completeness and consistency of abstract data types},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {460-473},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022525},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Pearl/80,
AUTHOR = {Pearl, Judea},
TITLE = {Asymptotic complexity of game-searching procedures},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {474-487},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022526},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rasiowa/80,
AUTHOR = {Rasiowa, Helena},
TITLE = {Completeness in classical logic of complex algorithms},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {488-503},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022527},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Reichel/80,
AUTHOR = {Reichel, H.},
TITLE = {Initially --- Restricting algebraic theories},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {504-514},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022528},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Reisig/80,
AUTHOR = {Reisig, Wolfgang},
TITLE = {Schemes for nonsequential processing systems},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {515-527},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022529},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Reiterman-Trnkova/80,
AUTHOR = {Reiterman, Jan and Trnkov{\'a}, V{\v{e}}ra},
TITLE = {Dynamic algebras which are not Kripke structures},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {528-538},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022530},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ruzicka/80,
AUTHOR = {Ru{\v{z}}i{\v{c}}ka, Peter},
TITLE = {Time and space bounds in producing certain partial orders},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {539-551},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022531},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Salwicki/80,
AUTHOR = {Salwicki, Andrzej},
TITLE = {Axioms of algorithmic logic univocally determine semantics of programs},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {552-561},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022532},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sazonov/80,
AUTHOR = {Sazonov, V.Yu.},
TITLE = {A logical approach to the problem ``$P=NP$?''},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {562-575},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022533},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Shields-Lauer/80,
AUTHOR = {Shields, M.W. and Lauer, P.E.},
TITLE = {Verifying concurrent system specifications in COSY},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {576-586},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022534},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sifakis/80,
AUTHOR = {Sifakis, Joseph},
TITLE = {Deadlocks and livelocks in transition systems},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {587-600},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022535},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Slutzki/80,
AUTHOR = {Slutzki, Giora},
TITLE = {Descriptional complexity of concurrent processes},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {601-611},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022536},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sokolowski/80,
AUTHOR = {Soko{\l}owski, Stefan},
TITLE = {A uniform approach to applicative and imperative features in programming languages},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {612-626},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022537},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Suraj/80,
AUTHOR = {Suraj, Zbigniew},
TITLE = {A resource allocation problem},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {627-642},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022538},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Takaoka-Moffat/80,
AUTHOR = {Takaoka, Tadao and Moffat, Alistair},
TITLE = {An $0(n^2\log n\log\log n)$ expected time algorithm for the all shortest distance problem},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {643-655},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022539},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Valiev/80,
AUTHOR = {Valiev, M.K.},
TITLE = {Decision complexity of variants of propositional dynamic logic},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {656-664},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022540},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Vitanyi/80b,
AUTHOR = {Vit{\'a}nyi, Paul M.B.},
TITLE = {Relativized obliviousness},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {665-672},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022541},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wirsing-Broy/80a,
AUTHOR = {Wirsing, M. and Broy, M.},
TITLE = {Abstract data types as lattices of finitely generated models},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {673-685},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022542},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Witaszek/80,
AUTHOR = {Witaszek, Jacek},
TITLE = {The LR(k) parser},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {686-697},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022543},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Genrich-Lautenbach-Thiagarajan/80,
AUTHOR = {Genrich, H.J. and Lautenbach, K. and Thiagarajan, P.S.},
TITLE = {Substitution systems --- A family of system models based on concurrency},
BOOKTITLE = {Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, MFCS'1980 (Rydzyna, Poland, September 1-5, 1980)},
SERIES = {LNCS},
VOLUME = {88},
PAGES = {698-723},
YEAR = {1980},
EDITOR = {Dembi{\'n}ski, P.},
URL = {http://dx.doi.org/10.1007/BFb0022544},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}