@incollection{Abadi-Lamport-Wolper/89,
AUTHOR = {Abadi, M. and Lamport, L. and Wolper, P.},
TITLE = {Realizable and unrealizable specifications of reactive systems},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {1-17},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allender/89d,
AUTHOR = {Allender, E.},
TITLE = {Limitations of the upward separation technique},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {18-30},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=18},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allender-Hemachandra/89a,
AUTHOR = {Allender, E. and Hemachandra, L.A.},
TITLE = {Lower bounds for the low hierarchy},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {31-45},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=31},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baeza-Yates-Gonnet/89,
AUTHOR = {Baeza-Yates, R.A. and Gonnet, G.H.},
TITLE = {Efficient text searching of regular expressions},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {46-62},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=46},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier-Pin/89,
AUTHOR = {Beauquier, D. and Pin, J.E.},
TITLE = {Factors of words},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {63-79},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=63},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berman-Garay/89a,
AUTHOR = {Berman, P. and Garay, J.A.},
TITLE = {Asymptotically optimal distributed consensus},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {80-94},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=80},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bilardi-Moitra/89,
AUTHOR = {Bilardi, G. and Moitra, A.},
TITLE = {Time lower bounds for CREW-PRAM computation of monotone functions},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {95-108},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=95},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bohm/89,
AUTHOR = {B{\"o}hm, C.},
TITLE = {Subduing self-application},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {108-122},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=108},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brassard-Crepeau-Yung/89,
AUTHOR = {Brassard, G. and Cr{\'e}peau, C. and Yung, M.},
TITLE = {Everything in $NP$ can be argued in perfect zero-knowledge in a bounded number of rounds},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {123-136},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=123},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Breazu-Tannen-Gallier/89,
AUTHOR = {Breazu-Tannen, V. and Gallier, J.},
TITLE = {Polymorphic rewriting conserves algebraic strong normalization and confluence},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {137-150},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=137},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruyere/89,
AUTHOR = {Bruyere, V.},
TITLE = {Completion of finite codes with finite deciphering delay},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {151-163},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=151},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cardone/89,
AUTHOR = {Cardone, F.},
TITLE = {Relational semantics for recursive types and bounded quantification},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {164-178},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=164},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Edelsbrunner-Guibas-Sharir/89,
AUTHOR = {Chazelle, B. and Edelsbrunner, H. and Guibas, L.J. and Sharir, M.},
TITLE = {A singly-exponential stratification scheme for real semi-algebraic varieties and its applications},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {179-193},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=179},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Colson/89,
AUTHOR = {Colson, L.},
TITLE = {About primitive recursive algorithms},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {194-206},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=194},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Courcelle/89,
AUTHOR = {Courcelle, B.},
TITLE = {The definability of equational graphs in monadic second-order logic},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {207-221},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=207},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik-Harju/89,
AUTHOR = {Culik II, K. and Harju, T.},
TITLE = {Dominoes and the regularity of DNA splicing languages},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {222-233},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=222},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Darondeau-Degano/89,
AUTHOR = {Darondeau, P. and Degano, P.},
TITLE = {Causal trees},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {234-248},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=234},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dershowitz-Kaplan-Plaisted/89,
AUTHOR = {Dershowitz, N. and Kaplan, S. and Plaisted, D.A.},
TITLE = {Infinite normal forms},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {249-262},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=249},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ehrig-Pepper-Orejas/89,
AUTHOR = {Ehrig, H. and Pepper, P. and Orejas, F.},
TITLE = {On recent trends in algebraic specification},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {263-288},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=263},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Engelfriet-Hoogeboom/89,
AUTHOR = {Engelfriet, J. and Hoogeboom, H.J.},
TITLE = {Automata with storage on infinite words},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {289-303},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=289},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Eppstein-Galil/89,
AUTHOR = {Eppstein, D. and Galil, Z.},
TITLE = {Parallel algorithmic techniques for combinatorial computation},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {304-318},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=304},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldman-Impagliazzo-Naor-Nisan-Rudich-Shamir/89,
AUTHOR = {Feldman, D. and Impagliazzo, R. and Naor, M. and Nisan, N. and Rudich, S. and Shamir, A.},
TITLE = {On dice and coins: Models of computation for random generation},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {319-340},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=319},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldman-Micali/89,
AUTHOR = {Feldman, P. and Micali, S.},
TITLE = {An optimal probabilistic algorithm for synchronous Byzantine agreement},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {341-378},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=341},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fussel-Ramachandran-Thurimella/89,
AUTHOR = {Fussel, D. and Ramachandran, V. and Thurimella, R.},
TITLE = {Finding triconnected components by local replacements},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {379-393},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=379},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Galil-Park/89,
AUTHOR = {Galil, Z. and Park, K.},
TITLE = {An improved algorithm for approximate string matching},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {394-404},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=394},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gambosi-Nardelli-Talamo/89,
AUTHOR = {Gambosi, G. and Nardelli, E. and Talamo, M.},
TITLE = {A pointer-free data structure for merging heaps and min-max heaps},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {405-422},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=405},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Groote-Vaandrager/89,
AUTHOR = {Groote, J.F. and Vaandrager, F.},
TITLE = {Structured operational semantics and bisimulation as a congruence},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {423-438},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=423},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup-Nowak/89,
AUTHOR = {Hagerup, T. and Nowak, M.},
TITLE = {Parallel retrievel of scattered information},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {439-450},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=439},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hastad/89,
AUTHOR = {H{\aa}stad, J.},
TITLE = {Tensor rank is NP-complete},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {451-460},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=451},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hochbaum-Shanthikumar/89,
AUTHOR = {Hochbaum, D.S. and Shanthikumar, J.G.},
TITLE = {The complexity of nonlinear separable optimization},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {461-472},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=461},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kenyon-Mathieu-Vitter/89,
AUTHOR = {Kenyon-Mathieu, C.M. and Vitter, J.S.},
TITLE = {General methods for the analysis of the maximal size of dynamic data structures},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {473-487},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=473},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Li-Vitanyi/89a,
AUTHOR = {Li, M. and Vitanyi, P.M.B.},
TITLE = {How to share concurrent asynchronous wait-free variables},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {488-505},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=488},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Li-Vitanyi/89c,
AUTHOR = {Li, M. and Vitanyi, P.M.B.},
TITLE = {A new approach to formal language theory by Kolmogorov complexity},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {506-520},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=506},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Louchard-Randrianarimanana-Schott/89,
AUTHOR = {Louchard, G. and Randrianarimanana, B. and Schott, R.},
TITLE = {Dynamic algorithms in D.E. Knuth's model: A probabilistic analysis},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {521-533},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=521},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Manna-Pnueli/89,
AUTHOR = {Manna, Z. and Pnueli, A.},
TITLE = {Completing the temporal picture},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {534-558},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=534},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mansour-Schieber-Tiwari/89a,
AUTHOR = {Mansour, Y. and Schieber, B. and Tiwari, P.},
TITLE = {Lower bounds for computations with the floor operation},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {559-573},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=559},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mason-Talcott/89,
AUTHOR = {Mason, I. and Talcott, C.},
TITLE = {Programming, transforming and proving with function abstractions and memories},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {574-588},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=574},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{McKenzie-Therien/89,
AUTHOR = {McKenzie, P. and Th{\'e}rien, D.},
TITLE = {Automata theory meets circuit complexity},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {589-602},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=589},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Paul/89,
AUTHOR = {Mehlhorn, K. and Paul, W.J.},
TITLE = {Two versus one index register and modifiable versus non-modifiable programs},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {603-609},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=603},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Papadimitriou-Yannakakis/89,
AUTHOR = {Papadimitriou, C.H. and Yannakakis, M.},
TITLE = {Shortest paths without a map},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {610-620},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=610},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Parisi-Presicce/89,
AUTHOR = {Parisi-Presicce, F.},
TITLE = {Modular system design applying graph grammars techniques},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {621-636},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=621},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Perrin/89,
AUTHOR = {Perrin, D.},
TITLE = {Partial commutations},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {637-651},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=637},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pnueli-Rosner/89,
AUTHOR = {Pnueli, A. and Rosner, R.},
TITLE = {On the synthesis of an asynchronous reactive module},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {652-671},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=652},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pruhs-Manber/89,
AUTHOR = {Pruhs, K. and Manber, U.},
TITLE = {The complexity of controlled selection},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {672-686},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=672},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Raghavan-Snir/89,
AUTHOR = {Raghavan, P. and Snir, M.},
TITLE = {Memory versus randomization in on-line algorithms},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {687-703},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=687},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reynolds/89,
AUTHOR = {Reynolds, J.C.},
TITLE = {Syntactic control of interference, Part 2},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {704-722},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=704},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Steffen/89,
AUTHOR = {Steffen, B.},
TITLE = {Characteristic formulae},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {723-732},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=723},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Toran/89,
AUTHOR = {Toran, J.},
TITLE = {A combinatorial technique for separating counting complexity classes},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {733-744},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=733},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tucker-Zucker/89,
AUTHOR = {Tucker, J.V. and Zucker, J.I.},
TITLE = {Horn programs and semicomputable relations on abstract structures},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {745-760},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=745},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Winskel/89,
AUTHOR = {Winskel, G.},
TITLE = {A note on model checking the modal $\mu$-calculus},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {761-772},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=761},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zhang/89a,
AUTHOR = {Zhang, G.Q.},
TITLE = {DI-domains as information systems},
BOOKTITLE = {Proceedings of the 16th International Colloquium on Automata, Languages and Programming, ICALP'89 (Stresa, Italy, July 11-15, 1989)},
SERIES = {LNCS},
VOLUME = {372},
PAGES = {773-788},
YEAR = {1989},
EDITOR = {Ausiello, G. and Dezani-Ciancaglini, M. and Rocca, S. Ronchi Della},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=372&spage=773},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}