@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},
}