@incollection{Lauer-Shields/79,
AUTHOR = {Lauer, P.E. and Shields, M.W.},
TITLE = {On the abstract specification and formal analysis of synchronization properties of concurrent systems},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {1-32},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Miller-Yap/79,
AUTHOR = {Miller, E. and Yap, C.K.},
TITLE = {On the formal specification and analysis of loosely connected processes},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {33-66},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik/79c,
AUTHOR = {Culik II, K.},
TITLE = {Synchronized parallel computation and slowdown of translators},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {67-105},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kurki-Suonio/79,
AUTHOR = {Kurki-Suonio, R.},
TITLE = {Nondeterminism, parallelism and intermittent assertions},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {106-126},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Yonezawa/79,
AUTHOR = {Yonezawa, A.},
TITLE = {A formal specification technique for abstract data types with parallelism},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {127-150},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=127},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Owicki/79,
AUTHOR = {Owicki, S.},
TITLE = {Verifying parallel programs with resource allocation},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {151-164},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kambayashi/79,
AUTHOR = {Kambayashi, Y.},
TITLE = {Equivalent key problem of the relational database model},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {165-192},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=165},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tanaka-Le-Viet-Kambayashi-Yajima/79,
AUTHOR = {Tanaka, K. and Le-Viet, Ch. and Kambayashi, Y. and Yajima, S.},
TITLE = {A file organization suitable for relational database operations},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {193-227},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blikle/79,
AUTHOR = {Blikle, A.},
TITLE = {Specified programming},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {228-251},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=228},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Loeckx-Glasner/79,
AUTHOR = {Loeckx, J. and Glasner, I.},
TITLE = {A calculus for proving properties of while-programs},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {252-281},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=252},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sugawara-Kawaguchi-Nishizawa/79,
AUTHOR = {Sugawara, K. and Kawaguchi, H. and Nishizawa, T.},
TITLE = {``E-correctness'' of a set of ``computation processes''},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {282-301},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=282},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goto/79,
AUTHOR = {Goto, S.},
TITLE = {Program synthesis through G{\"o}del's interpretation},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {302-325},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=302},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bjorner/79,
AUTHOR = {Bj{\"o}rner, D.},
TITLE = {The Vienna development method (VDM): Software specification \& program synthesis},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {326-359},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paul-Guntzer/79,
AUTHOR = {Paul, M. and G{\"u}ntzer, U.},
TITLE = {On a uniform formal description of data structures},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {360-383},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=360},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anderson-Belz-Blum/79,
AUTHOR = {Anderson, E.R. and Belz, F.C. and Blum, E.K.},
TITLE = {Extending an implementation language to a specification language},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {384-424},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=384},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goguen/79,
AUTHOR = {Goguen, J.A.},
TITLE = {Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {425-473},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=425},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lamport/79,
AUTHOR = {Lamport, L.},
TITLE = {The specification and proof of correctness of interactive programs},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {474-537},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=474},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Langmaack/79,
AUTHOR = {Langmaack, H.},
TITLE = {On a theory of decision problems in programming languages},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {538-558},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=538},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Elgot/79,
AUTHOR = {Elgot, C.C.},
TITLE = {A representative strong equivalence class for accessible flowchart schemes},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {559-575},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=559},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cartwright-McCarthy/79,
AUTHOR = {Cartwright, R. and McCarthy, J.},
TITLE = {Recursive programs as functions in a first order theory},
BOOKTITLE = {Proceedings of the Conference on Mathematical Studies of Information Processing (Kyoto, Japan, 1978)},
SERIES = {LNCS},
VOLUME = {75},
PAGES = {576-607},
YEAR = {1979},
EDITOR = {Blum, E.K. and Paul, M. and Takasu, S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=75&spage=576},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Bakker/79,
AUTHOR = {de Bakker, J.W.},
TITLE = {A sound and complete proof system for partial program correctness},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {1-12},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Barzdin/79,
AUTHOR = {Barzdin, J.M.},
TITLE = {The problem of reachability and verification of programs},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {13-25},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Blikle/79a,
AUTHOR = {Blikle, Andrzej J.},
TITLE = {Assertion programming},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {26-42},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Book/79c,
AUTHOR = {Book, Ronald V.},
TITLE = {Complexity classes of formal languages},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {43-56},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Freivalds/79,
AUTHOR = {Freivalds, R{\=u}si{\c{n}}{\v{s}}},
TITLE = {Fast probabilistic algorithms},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {57-69},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hartmanis-Baker/79,
AUTHOR = {Hartmanis, Juris and Baker, T.P.},
TITLE = {Relative succinctness of representations of languages and separation of complexity classes},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {70-88},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Havel/79,
AUTHOR = {Havel, Ivan M.},
TITLE = {On two types of loops},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {89-107},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hennessy-Plotkin/79,
AUTHOR = {Hennessy, M.C.B. and Plotkin, G.D.},
TITLE = {Full abstraction for a simple parallel programming language},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {108-120},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Maurer/79b,
AUTHOR = {Maurer, Hermann A.},
TITLE = {On some developments in cryptography and their applications to computer science},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {121-130},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mehlhorn/79d,
AUTHOR = {Mehlhorn, Kurt},
TITLE = {Searching, sorting and information theory},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {131-145},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Milner/79b,
AUTHOR = {Milner, Robin},
TITLE = {LCF: A way of doing proofs with a machine},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {146-159},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Pratt/79a,
AUTHOR = {Pratt, Vaughan R.},
TITLE = {Axioms or algorithms},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {160-169},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Salomaa/79,
AUTHOR = {Salomaa, Arto},
TITLE = {Power from power series},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {170-181},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Slisenko/79,
AUTHOR = {Slisenko, A.O.},
TITLE = {Computational complexity of string and graph identification},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {182-190},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wood/79,
AUTHOR = {Wood, Derick},
TITLE = {A survey of grammar and $L$ forms-1978},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {191-200},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Adachi-Kasai-Moriya/79,
AUTHOR = {Adachi, Akeo and Kasai, Takumi and Moriya, Etsuro},
TITLE = {A theoretical study on the time analysis of programs},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {201-207},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Andreka-Nemeti-Sain/79,
AUTHOR = {Andr{\'e}ka, H. and N{\'e}meti, I. and Sain, I.},
TITLE = {Completeness problems in verification of programs and program schemes},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {208-218},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Autebert/79b,
AUTHOR = {Autebert, Jean-Michel},
TITLE = {Relationships between AFDL's and cylinders},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {219-227},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Comyn-Werner/79,
AUTHOR = {Comyn, G. and Werner, G.},
TITLE = {Computable data types},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {228-236},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cousineau-Enjalbert/79,
AUTHOR = {Cousineau, G. and Enjalbert, P.},
TITLE = {Program equivalence and provability},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {237-245},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Culik-Karhumaki/79a,
AUTHOR = {Culik II, K. and Karhum{\"a}ki, J.},
TITLE = {Interactive $L$ systems with almost interactionless behaviour},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {246-257},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Daley/79,
AUTHOR = {Daley, Robert P.},
TITLE = {On the simplification of constructions in degrees of unsolvability via computational complexity},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {258-265},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Damm/79,
AUTHOR = {Damm, W.},
TITLE = {An algebraic extension of the Chomsky-hierarchy},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {266-276},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dekhtjar/79,
AUTHOR = {Dekhtjar, M.I.},
TITLE = {Bounds on computational complexity and approximability of initial segments of recursive sets},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {277-283},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Fischer/79,
AUTHOR = {Fischer, Thomas},
TITLE = {On the weighted path length of binary search trees for unknown access probabilities},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {284-291},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Gens-Levner/79,
AUTHOR = {Gens, G.V. and Levner, E.V.},
TITLE = {Computational complexity of approximation algorithms for combinatorial problems},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {292-300},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Goralcikova-Koubek/79,
AUTHOR = {Goral{\v{c}}{\'{i}}kov{\'a}, Alla and Koubek, V{\'a}clav},
TITLE = {A reduct-and-closure algorithm for graphs},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {301-307},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Gregusova-Korec/79,
AUTHOR = {Gregu{\v{s}}ov{\'a}, {\v{L}}udmila and Korec, Ivan},
TITLE = {Small universal Minsky machines},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {308-316},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kamimura-Slutzki/79a,
AUTHOR = {Kamimura, Tsutomu and Slutzki, Giora},
TITLE = {Parallel and two-way recognizers of directed acyclic graphs},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {317-325},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kanda/79,
AUTHOR = {Kanda, Akira},
TITLE = {Fully effective solutions of recursive domain equations},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {326-336},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kramosil/79,
AUTHOR = {Kramosil, Ivan},
TITLE = {A note on computational complexity of a statistical deducibility testing procedure},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {337-345},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kudlek/79,
AUTHOR = {Kudlek, Manfred},
TITLE = {Context free normal systems},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {346-353},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Linna-Penttonen/79,
AUTHOR = {Linna, Matti and Penttonen, Martti},
TITLE = {New proofs for jump DPDA's},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {354-362},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{de_Luca-Restivo/79,
AUTHOR = {de Luca, Aldo and Restivo, Antonio},
TITLE = {Synchronization and maximality for very pure subsemigroups of a free semigroup},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {363-371},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Marandzjan/79,
AUTHOR = {Marand{\v{z}}jan, G.},
TITLE = {On the sets of minimal indices of partial recursive functions},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {372-374},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mehlhorn/79e,
AUTHOR = {Mehlhorn, Kurt},
TITLE = {Some remarks on Boolean sums},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {375-380},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mirkowska/79,
AUTHOR = {Mirkowska, Gra{\.z}yna},
TITLE = {On the propositional algorithmic logic},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {381-389},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nijholt-Soisalon-Soininen/79,
AUTHOR = {Nijholt, Anton and Soisalon-Soininen, Eljas},
TITLE = {Ch(k) grammars: A characterization of LL(k) languages},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {390-397},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ottmann-Wood/79,
AUTHOR = {Ottmann, Th. and Wood, D.},
TITLE = {A uniform approach to balanced binary and multiway trees},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {398-407},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Paun/79c,
AUTHOR = {P{\v{a}}un, Gheorghe},
TITLE = {On the generative capacity of some classes of grammars with regulated rewriting},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {408-414},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ruzicka/79,
AUTHOR = {Ru{\v{z}}i{\v{c}}ka, Peter},
TITLE = {Validity test for Floyd's operator-precedence parsing algorithms},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {415-424},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Starke/79,
AUTHOR = {Starke, Peter H.},
TITLE = {On the languages of bounded Petri nets},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {425-433},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tegze/79,
AUTHOR = {Tegze, Miron},
TITLE = {Dyck language $D_2$ is not absolutely parallel},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {434-442},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tiuryn/79a,
AUTHOR = {Tiuryn, Jerzy},
TITLE = {Fixed points in the power-set algebra of infinite trees},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {443-452},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Trakhtenbrot/79,
AUTHOR = {Trakhtenbrot, B.A.},
TITLE = {On relaxation rules in algorithmic logic},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {453-462},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Trnkova/79,
AUTHOR = {Trnkov{\'a}, V{\v{e}}ra},
TITLE = {$L$-fuzzy functorial automata},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {463-473},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tseytlin/79,
AUTHOR = {Tseytlin, G.E.},
TITLE = {Schematics of structural parallel programming and its applications},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {474-481},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Valiev/79,
AUTHOR = {Valiev, M.K.},
TITLE = {On axiomatization of deterministic propositional dynamic logic},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {482-491},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wagner/79a,
AUTHOR = {Wagner, Klaus},
TITLE = {Bounded recursion and complexity classes},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {492-498},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wechler/79,
AUTHOR = {Wechler, Wolfgang},
TITLE = {Characterization of rational and algebraic power series},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {499-507},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wechsung/79,
AUTHOR = {Wechsung, Gerd},
TITLE = {A crossing measure for 2-tape Turing machines},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {508-516},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wiedermann/79,
AUTHOR = {Wiedermann, Juraj},
TITLE = {The complexity of lexicographic sorting and searching},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {517-522},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Winkowski/79,
AUTHOR = {Winkowski, J{\'o}zef},
TITLE = {An algebraic approach to concurrence},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {523-532},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Yamasaki/79a,
AUTHOR = {Yamasaki, Hideki},
TITLE = {On multitape automata},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {533-541},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Zak/79,
AUTHOR = {{\v{Z}}{\'a}k, Stanislav},
TITLE = {A Turing machine oracle hierarchy},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {542-551},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Berry-Levy/79,
AUTHOR = {Berry, G{\'e}rard and L{\'e}vy, Jean-Jacques},
TITLE = {A survey of some syntactic results in the $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {552-566},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cousineau-Nivat/79,
AUTHOR = {Cousineau, Guy and Nivat, Maurice},
TITLE = {On rational expressions representing infinite rational trees: Application to the structure of flow charts},
BOOKTITLE = {Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, MFCS'1979 (Olomouc, Czechoslovakia, September 3-7, 1979)},
SERIES = {LNCS},
VOLUME = {74},
PAGES = {567-580},
YEAR = {1979},
EDITOR = {Be{\v{c}}v{\'a}{\v{r}}, Ji{\v{r}}{\'{i}}},
URL = {http://dx.doi.org/10.1007/3-540-09526-8_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Astesiano-Costa/79,
AUTHOR = {Astesiano, E. and Costa, G.},
TITLE = {Sharing in nondeterminism},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {1-15},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berstel/79,
AUTHOR = {Berstel, J.},
TITLE = {Sur les mots sans carr{\'e} d{\'e}finis par un morphisme},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {16-25},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=16},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bertoni-Mauri-Miglioli/79,
AUTHOR = {Bertoni, A. and Mauri, G. and Miglioli, P.A.},
TITLE = {A characterization of abstract data as model-theoretic invariants},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {26-37},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=26},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blattner/79a,
AUTHOR = {Blattner, M.},
TITLE = {Inherent ambiguities in families of grammars},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {38-48},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=38},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Book-Brandenburg/79,
AUTHOR = {Book, R.V. and Brandenburg, F.-J.},
TITLE = {Representing complexity classes by equality sets},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {49-57},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=49},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{von_Braunmuhl-Hotzel/79,
AUTHOR = {von Braunm{\"u}hl, B. and Hotzel, E.},
TITLE = {Supercounter machines},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {58-72},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=58},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Broy-Dosch-Partsch-Pepper-Wirsing/79,
AUTHOR = {Broy, M. and Dosch, W. and Partsch, H. and Pepper, P. and Wirsing, M.},
TITLE = {Existential quantifiers in abstract data types},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {73-87},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=73},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choffrut/79,
AUTHOR = {Choffrut, C.},
TITLE = {A generalization of Ginsburg and Rose's characterization of G-S-M mappings},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {88-103},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=88},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chottin/79,
AUTHOR = {Chottin, L.},
TITLE = {Strict deterministic languages and controlled rewriting systems},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {104-117},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=104},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Commentz-Walter/79a,
AUTHOR = {Commentz-Walter, B.},
TITLE = {A string matching algorithm fast on the average},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {118-132},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=118},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Coppo-Dezani-Ciancaglini-Salle/79,
AUTHOR = {Coppo, M. and Dezani-Ciancaglini, M. and Sall{\'e}, P.},
TITLE = {Functional characterization of some semantic equalities inside $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {133-146},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=133},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cremers-Hibbard/79a,
AUTHOR = {Cremers, A.B. and Hibbard, T.N.},
TITLE = {Arbitration and queueing under limited shared storage requirements},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {147-160},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=147},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik/79a,
AUTHOR = {Culik II, K.},
TITLE = {On the homomorphic characterizations of families of languages},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {161-170},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=161},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dembinski-Maluszynski/79,
AUTHOR = {Dembinski, P. and Maluszynski, J.},
TITLE = {Two level grammars: CF-grammars with equation schemes},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {171-187},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=171},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dershowitz-Manna/79,
AUTHOR = {Dershowitz, N. and Manna, Z.},
TITLE = {Proving termination with multiset orderings},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {188-202},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=188},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Deussen/79,
AUTHOR = {Deussen, P.},
TITLE = {One abstract accepting algorithm for all kinds of parsers},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {203-217},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=203},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Duncan-Yelowitz/79,
AUTHOR = {Duncan, A.G. and Yelowitz, L.},
TITLE = {Studies in abstract/concrete mappings in proving algorithm correctness},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {218-229},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=218},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fich-Brzozowski/79,
AUTHOR = {Fich, F.E. and Brzozowski, J.A.},
TITLE = {A characterization of a dot-depth two analogue of generalized definite languages},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {230-244},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=230},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Friede/79,
AUTHOR = {Friede, D.},
TITLE = {Partitioned LL(k) grammars},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {245-255},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=245},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gallier/79,
AUTHOR = {Gallier, J.H.},
TITLE = {Recursion schemes and generalized interpretations},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {256-270},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=256},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goldstine/79,
AUTHOR = {Goldstine, J.},
TITLE = {A rational theory of AFLs},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {271-281},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=271},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hartmanis/79b,
AUTHOR = {Hartmanis, J.},
TITLE = {On the succinctness of different representations of languages},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {282-288},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=282},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Istrail/79,
AUTHOR = {Istrail, S.},
TITLE = {A fixed-point theorem for recursive-enumerable languages and some considerations about fixed-point semantics of monadic programs},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {289-303},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=289},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Janko/79,
AUTHOR = {Janko, W.},
TITLE = {Hierarchic index sequential search with optimal variable block size and its minimal expected number of comparisions},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {304-315},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=304},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jeanrond/79,
AUTHOR = {Jeanrond, H.J.},
TITLE = {A unique termination theorem for a theory with generalised commutative axioms},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {316-330},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=316},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kamimura-Slutzki/79,
AUTHOR = {Kamimura, T. and Slutzki, G.},
TITLE = {Dags and Chomsky hierarchy},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {331-337},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=331},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karp/79,
AUTHOR = {Karp, R.},
TITLE = {Recent advances in the probabilistic analysis of graph-theoretic algorithms},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {338-339},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=338},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kemp/79,
AUTHOR = {Kemp, R.},
TITLE = {On the average stack size of regularly distributed binary trees},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {340-355},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=340},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kowalk-Valk/79,
AUTHOR = {Kowalk, W. and Valk, R.},
TITLE = {On reductions of parallel programs},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {356-369},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=356},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuich-Prodinger-Urbanek/79,
AUTHOR = {Kuich, W. and Prodinger, H. and Urbanek, F.J.},
TITLE = {On the height of derivation trees},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {370-384},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=370},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Manna-Pnueli/79,
AUTHOR = {Manna, Z. and Pnueli, A.},
TITLE = {The modal logic of programs},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {385-410},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=385},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meyer_auf_der_Heide/79,
AUTHOR = {Meyer auf der Heide, F.},
TITLE = {A comparision between two variations of a pebble game on graphs},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {411-421},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=411},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Milton-Fischer/79,
AUTHOR = {Milton, D.R. and Fischer, C.N.},
TITLE = {LL(k) parsing for attributed grammars},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {422-430},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=422},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Monien-Sudborough/79,
AUTHOR = {Monien, B. and Sudborough, I.H.},
TITLE = {On eliminating nondeterminism from Turing machines which use less than logarithm worktape space},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {431-445},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=431},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nijholt/79a,
AUTHOR = {Nijholt, A.},
TITLE = {Structure preserving transformations on non-left-recursive grammars},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {446-459},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=446},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Papadimitriou-Yannakakis/79a,
AUTHOR = {Papadimitriou, C.H. and Yannakakis, M.},
TITLE = {The complexity of restricted minimum spanning tree problems},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {460-470},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=460},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rozenberg/79,
AUTHOR = {Rozenberg, G.},
TITLE = {A systematic approach to formal language theory through parallel rewriting},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {471-478},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=471},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rozenberg-Vermeir/79a,
AUTHOR = {Rozenberg, G. and Vermeir, D.},
TITLE = {Extending the notion of finite index},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {479-488},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=479},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ruzzo/79,
AUTHOR = {Ruzzo, W.L.},
TITLE = {On the complexity of general context-free language parsing and recognition},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {489-497},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=489},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Savage-Swamy/79,
AUTHOR = {Savage, J.E. and Swamy, S.},
TITLE = {Space-time tradeoffs for oblivious integer multiplication},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {498-504},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=498},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schmidt/79a,
AUTHOR = {Schmidt, G.},
TITLE = {Investigating programs in terms of partial graphs},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {505-519},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=505},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schonhage/79,
AUTHOR = {Sch{\"o}nhage, A.},
TITLE = {On the power of random access machines},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {520-529},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=520},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwartz/79a,
AUTHOR = {Schwartz, R.L.},
TITLE = {An axiomatic treatment of ALGOL 68 routines},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {530-545},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=530},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Selman/79,
AUTHOR = {Selman, A.L.},
TITLE = {P-selective sets, tally languages, and the behavior of polynomial time reducibilities on $NP$},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {546-555},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=546},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sethi-Tang/79,
AUTHOR = {Sethi, R. and Tang, A.},
TITLE = {Constructing call-by-value continuation semantics},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {556-570},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=556},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shields-Lauer/79,
AUTHOR = {Shields, M.W. and Lauer, P.E.},
TITLE = {A formal semantics for concurrent systems},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {571-584},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=571},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sippu-Soisalon-Soininen/79,
AUTHOR = {Sippu, S. and Soisalon-Soininen, E.},
TITLE = {On constructing LL(k) parsers},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {585-595},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=585},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thatcher-Wagner-Wright/79,
AUTHOR = {Thatcher, J.W. and Wagner, E.G. and Wright, J.B.},
TITLE = {More on advice on structuring compilers and proving them correct},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {596-615},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=596},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Therien/79,
AUTHOR = {Th{\'e}rien, D.},
TITLE = {Languages of nilpotent and solvable groups},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {616-632},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=616},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tiuryn/79,
AUTHOR = {Tiuryn, J.},
TITLE = {Unique fixed points vs. least fixed points},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {633-645},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=633},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ukkonen/79a,
AUTHOR = {Ukkonen, E.},
TITLE = {A modification of the LR(k) method for constructing compact bottom-up parsers},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {646-658},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=646},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ury/79,
AUTHOR = {Ury, L.},
TITLE = {Optimal decomposition of linear automata},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {659-667},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=659},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wegner/79,
AUTHOR = {Wegner, L.},
TITLE = {Bracketed two-level grammars - a decidable and practical approach to language definitions},
BOOKTITLE = {Proceedings of the 6th International Colloquium on Automata, Languages and Programming, ICALP'79 (Graz, Austria, July 16-20, 1979)},
SERIES = {LNCS},
VOLUME = {71},
PAGES = {668-682},
YEAR = {1979},
EDITOR = {Maurer, H.A.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=71&spage=668},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boasson/79,
AUTHOR = {Boasson, L.},
TITLE = {Context-free sets of infinite words},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {1-9},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Maurer/79,
AUTHOR = {Maurer, H.},
TITLE = {New aspects of homomorphisms},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {10-24},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=10},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Milner/79a,
AUTHOR = {Milner, R.},
TITLE = {An algebraic theory for synchronization},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {27-35},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=27},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schonhage/79a,
AUTHOR = {Sch{\"o}nhage, A.},
TITLE = {Storage modification machines},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {36-37},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=36},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Valiant/79a,
AUTHOR = {Valiant, L.G.},
TITLE = {Negative results on counting},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {38-46},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=38},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier/79,
AUTHOR = {Beauquier, J.},
TITLE = {Strong non-deterministic context-free languages},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {47-57},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=47},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bennison/79,
AUTHOR = {Bennison, V.L.},
TITLE = {Information content characterizations of complexity theoretic properties},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {58-66},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=58},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blum-Mehlhorn/79,
AUTHOR = {Blum, N. and Mehlhorn, K.},
TITLE = {Mittlere Anzahl von Rebalancierungsoperationen in gewichtsbalancierten B{\"a}umen},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {67-78},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=67},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boudol/79,
AUTHOR = {Boudol, G.},
TITLE = {A new recursion induction principle},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {79-90},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=79},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{von_Braunmuhl-Verbeek/79,
AUTHOR = {von Braunm{\"u}hl, B. and Verbeek, R.},
TITLE = {Finite-change automata},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {91-100},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=91},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_Emde_Boas-van_Leeuwen/79,
AUTHOR = {van Emde Boas, P. and van Leeuwen, J.},
TITLE = {Move rules and trade-offs in the pebble game},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {101-112},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=101},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Friede/79a,
AUTHOR = {Friede, D.},
TITLE = {Transition diagrams and strict deterministic grammars},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {113-123},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=113},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gacs/79,
AUTHOR = {G{\'a}cs, P.},
TITLE = {Exact expressions for some randomness tests},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {124-131},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=124},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ganzinger/79,
AUTHOR = {Ganzinger, H.},
TITLE = {On storage optimization for automatically generated compilers},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {132-141},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=132},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Guessarian/79,
AUTHOR = {Guessarian, I.},
TITLE = {On continuous completions},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {142-152},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=142},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Heintz/79,
AUTHOR = {Heintz, J.},
TITLE = {A new method to show lower bounds for polynomials which are hard to compute},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {153-157},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=153},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jantzen/79,
AUTHOR = {Jantzen, M.},
TITLE = {On zerotesting-bounded multicounter machines},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {158-169},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=158},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Latteux/79,
AUTHOR = {Latteux, M.},
TITLE = {Sur deux langages lin{\'e}aires},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {182-189},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=182},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Majster-Reiser/79,
AUTHOR = {Majster, M. and Reiser, A.},
TITLE = {An efficient on-line position tree construction algorithm},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {190-198},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=190},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn/79,
AUTHOR = {Mehlhorn, K.},
TITLE = {Sorting presorted files},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {199-212},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=199},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ottmann-Rosenberg-Six-Wood/79,
AUTHOR = {Ottmann, T. and Rosenberg, A.L. and Six, H.W. and Wood, D.},
TITLE = {Node-visit optimal 1-2 brother trees},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {213-221},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=213},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paul-Reischuk/79a,
AUTHOR = {Paul, W.J. and Reischuk, R.},
TITLE = {A graph theoretic approach to determinism versus non-determinism},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {222-232},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=222},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pin/79,
AUTHOR = {Pin, J.E.},
TITLE = {Une caract{\'e}risation de trois vari{\'e}t{\'e}s de langages bien connues},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {233-243},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=233},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Priese/79a,
AUTHOR = {Priese, L.},
TITLE = {{\"u}ber eine minimale universelle Turing-Maschine},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {244-259},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=244},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reutenauer/79,
AUTHOR = {Reutenauer, C.},
TITLE = {Sur les vari{\'e}t{\'e}s de langages et de monoides},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {260-265},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=260},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rollik/79,
AUTHOR = {Rollik, H.A.},
TITLE = {Automaten in planaren Graphen},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {266-275},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=266},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sakarovitch/79,
AUTHOR = {Sakarovitch, J.},
TITLE = {Th{\'e}orme de transversale rationnelle pour les automates {\`a} pile d{\'e}terministes},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {276-285},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=276},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schnorr/79,
AUTHOR = {Schnorr, C.P.},
TITLE = {On the additive complexity of polynomials and some new lower bounds},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {286-297},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=286},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ukkonen/79b,
AUTHOR = {Ukkonen, E.},
TITLE = {Remarks on the nonexistence of some covering grammars},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {298-309},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=298},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wohl/79,
AUTHOR = {W{\"o}hl, K.},
TITLE = {Zur Komplexit{\"a}t der Presburger Arithmetik und des {\"a}quivalenzproblems einfacher Programme},
BOOKTITLE = {Proceedings of the 4th GI Conference on Theoretical Computer Science (Aachen, FRG)},
SERIES = {LNCS},
VOLUME = {67},
PAGES = {310-318},
YEAR = {1979},
EDITOR = {Weihrauch, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=67&spage=310},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}