@incollection{Naher-Mehlhorn/90,
AUTHOR = {N{\"a}her, Stefan and Mehlhorn, Kurt},
TITLE = {Leda},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {1-5},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietzfelbinger-Meyer_auf_der_Heide/90c,
AUTHOR = {Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm},
TITLE = {A new universal class of hash functions and dynamic hashing in real time},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {6-19},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=6},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Riecke/90,
AUTHOR = {Riecke, Jon G.},
TITLE = {A complete and decidable proof system for call-by-value equalities},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {20-31},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=20},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwartzbach/90,
AUTHOR = {Schwartzbach, Michael I.},
TITLE = {Static correctness of hierarchical procedures},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {32-45},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=32},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Malecki/90,
AUTHOR = {Malecki, Sophie},
TITLE = {Generic terms having no polymorphic types},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {46-59},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=46},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krob/90,
AUTHOR = {Krob, Daniel},
TITLE = {A complete system of B-rational identities},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {60-73},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=60},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Luca-Varricchio/90,
AUTHOR = {de Luca, Aldo and Varricchio, Stefano},
TITLE = {On non-counting regular classes},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {74-87},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=74},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anselmo/90,
AUTHOR = {Anselmo, M.},
TITLE = {Two-way automata with multiplicities},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {88-102},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=88},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuich/90,
AUTHOR = {Kuich, Werner},
TITLE = {$\omega$-continuous semirings, algebraic systems and pushdown automata},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {103-110},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=103},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geffert/90a,
AUTHOR = {Geffert, Viliam},
TITLE = {Nondeterministic computations in sublogarithmic space and space constructibility},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {111-124},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=111},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wiedermann/90,
AUTHOR = {Wiedermann, Juraj},
TITLE = {Normalizing and accelerating RAM computations and the problem of reasonable space measures},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {125-138},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=125},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Watanabe/90,
AUTHOR = {Watanabe, Osamu},
TITLE = {A formal study of learning via queries},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {139-152},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=139},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jain-Sharma/90,
AUTHOR = {Jain, Sanjay and Sharma, Arun},
TITLE = {Language learning by a ``team''},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {153-166},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=153},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Milner/90,
AUTHOR = {Milner, Robin},
TITLE = {Functions as processes},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {167-180},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=167},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jagadeesan-Panangaden/90,
AUTHOR = {Jagadeesan, Radha and Panangaden, Prakash},
TITLE = {A domain-theoretic model for a higher-order process calculus},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {181-194},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=181},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Droste/90,
AUTHOR = {Droste, Manfred},
TITLE = {Concurrency, automata and domains},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {195-208},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=195},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hennessy-Ingolfsdottir/90,
AUTHOR = {Hennessy, M. and Ing{\^o}lfsd{\'o}ttir, A.},
TITLE = {A theory of communicating processes with value-passing},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {209-219},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=209},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Flajolet-Sipala-Steyaert/90,
AUTHOR = {Flajolet, Philippe and Sipala, Paolo and Steyaert, Jean-Marc},
TITLE = {Analytic variations on the common subexpresion problem},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {220-234},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=220},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Razborov/90a,
AUTHOR = {Razborov, A.A.},
TITLE = {On the distributional complexity of disjointness},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {249-253},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=249},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kranakis-Krizanc-Berg/90,
AUTHOR = {Kranakis, Evangelos and Krizanc, Danny and Berg, Jacob van den},
TITLE = {Computing boolean functions oon anonymous networks},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {254-267},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=254},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goldreich-Krawczyk/90,
AUTHOR = {Goldreich, Oded and Krawczyk, Hugo},
TITLE = {On the composition of zero-knowledge proof systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {268-282},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=268},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Book-Lutz-Tang/90,
AUTHOR = {Book, Ronald V. and Lutz, Jack H. and Tang, Shouwen},
TITLE = {Additional queries to random and pseudorandom oracles},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {283-293},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=283},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rabinovich-Trakhtenbrot/90,
AUTHOR = {Rabinovich, A. and Trakhtenbrot, B.A.},
TITLE = {Communication among relations},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {294-307},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=294},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Panangaden-Shanbhogue-Stark/90,
AUTHOR = {Panangaden, Prakash and Shanbhogue, Vasant and Stark, Eugene W.},
TITLE = {Stability and sequentiality in dataflow networks},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {308-321},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=308},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alur-Dill/90,
AUTHOR = {Alur, Rajeev and Dill, David},
TITLE = {Automata for modeling real-time systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {322-335},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=322},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Courcoubetis-Yannakakis/90,
AUTHOR = {Courcoubetis, Costas and Yannakakis, Mihalis},
TITLE = {Markov decision processes and regular events},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {336-349},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=336},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klop/90,
AUTHOR = {Klop, Jan Willem},
TITLE = {Term rewriting systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {350-369},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=350},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Verma-Ramakrishnan/90,
AUTHOR = {Verma, Rakesh M. and Ramakrishnan, I.V.},
TITLE = {Nonoblivious normalization algorithms for nonlinear rewrite systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {370-385},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=370},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Palamidessi/90,
AUTHOR = {Palamidessi, Catuscia},
TITLE = {Algebraic properties of idempotent substitutions},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {386-399},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=386},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dobkin-Kirkpatrick/90,
AUTHOR = {Dobkin, David P. and Kirkpatrick, David G.},
TITLE = {Determining the separation of preprocessed polyhedra},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {400-413},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=400},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Guibas-Knuth-Sharir/90,
AUTHOR = {Guibas, Leonidas J. and Knuth, Donald E. and Sharir, Micha},
TITLE = {Randomized incremental construction of Delaunay and Voronoi diagrams},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {414-431},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=414},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cole-Goodrich-ODunlaing/90,
AUTHOR = {Cole, Richard and Goodrich, Michael T. and O'D{\'u}nlaing, Colm},
TITLE = {Merging free trees in parallel for efficient Voronoi diagram construction},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {432-445},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=432},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Johnson/90,
AUTHOR = {Johnson, David S.},
TITLE = {Local optimization and the traveling salesman problem},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {446-461},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=446},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jerrum-Sinclair/90b,
AUTHOR = {Jerrum, Mark and Sinclair, Alistair},
TITLE = {Polynomial-time approximation algorithms for the Ising model},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {462-475},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=462},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Savage-Wloka/90,
AUTHOR = {Savage, John E. and Wloka, Markus G.},
TITLE = {On parallelizing graph-partitioning heuristics},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {476-489},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=476},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choffrut/90,
AUTHOR = {Choffrut, Christian},
TITLE = {Iterated substitutions and locally catenative systems},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {490-500},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=490},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clerbout-Latteux-Roos/90,
AUTHOR = {Clerbout, Mireille and Latteux, Michel and Roos, Yves},
TITLE = {Decomposition of partial commutations},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {501-511},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=501},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pelletier/90,
AUTHOR = {Pelletier, Maryse},
TITLE = {Boolean closure and unambiguity of rational sets},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {512-525},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=512},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Larsen-Xinxin/90,
AUTHOR = {Larsen, Kim G. and Xinxin, Liu},
TITLE = {Compositionality through an operational semantics of contexts},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {526-539},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=526},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Parrow/90,
AUTHOR = {Parrow, Joachim},
TITLE = {Structural and behavioural equivalences of networks},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {540-552},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=540},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Peled-Pnueli/90,
AUTHOR = {Peled, Doron and Pnueli, Amir},
TITLE = {Proving partial order liveness properties},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {553-571},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=553},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Boer/90,
AUTHOR = {de Boer, F.S.},
TITLE = {A proof system for the parallel object-oriented language POOL},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {572-585},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=572},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Blum/90d,
AUTHOR = {Blum, Norbert},
TITLE = {A new approach to maximum matching in general graphs},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {586-597},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=586},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Di_Battista-Tamassia/90,
AUTHOR = {Di Battista, Giuseppe and Tamassia, Roberto},
TITLE = {On-line graph algorithms with SPQR-trees},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {598-611},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=598},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pan-Reif/90,
AUTHOR = {Pan, Victor and Reif, John},
TITLE = {On the bit-complexity of discrete solutions of PDEs},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {612-625},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=612},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Groote-Vaandrager/90,
AUTHOR = {Groote, Jan Friso and Vaandrager, Frits},
TITLE = {An efficient algorithm for branching bisimulation an stuttering equivalence},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {626-638},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=626},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jones/90a,
AUTHOR = {Jones, Neil D.},
TITLE = {Partial evaluation, self-application and types},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {639-659},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=639},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tucker-Wainer-Zucker/90,
AUTHOR = {Tucker, J.V. and Wainer, S.S. and Zucker, J.J.},
TITLE = {Provable computable functions on abstract data types},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {660-673},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=660},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Comon/90a,
AUTHOR = {Comon, Hubert},
TITLE = {Equational formulas in order-sorted algebras},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {674-688},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=674},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goodrich-Atallah-Overmars/90,
AUTHOR = {Goodrich, Michael T. and Atallah, Mikhail J. and Overmars, Mark H.},
TITLE = {An input-size/output-size trade-off in the time-complexity of rectilinear hidden surface removal},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {689-702},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=689},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alt-Blomer-Godau-Wagener/90,
AUTHOR = {Alt, Helmut and Bl{\"o}mer, Johannes and Godau, Michael and Wagener, Hubert},
TITLE = {Approximation of convex polygons},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {703-716},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=703},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hoffmann/90a,
AUTHOR = {Hoffmann, Frank},
TITLE = {On the rectilinear art gallery problem},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {717-728},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=717},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Matias-Vishkin/90a,
AUTHOR = {Matias, Yossi and Vishkin, Uzi},
TITLE = {On parallel hashing and integer sorting},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {729-743},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=729},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ragde/90,
AUTHOR = {Ragde, Prabhakar},
TITLE = {The parallel simplicity of compaction and chaining},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {744-751},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=744},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Moller/90,
AUTHOR = {Moller, Faron},
TITLE = {The importance of the left merge operator in process algebras},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {752-764},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=752},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Prasad-Giacalone-Mishra/90,
AUTHOR = {Prasad, Sanjiva and Giacalone, Alessandro and Mishra, Prateek},
TITLE = {Operational and algebraic semantics for Facile},
BOOKTITLE = {Proceedings of the 17th International Colloquium on Automata, Languages and Programming, ICALP'90 (Warwick University, England, July 16-20, 1990)},
SERIES = {LNCS},
VOLUME = {443},
PAGES = {765-780},
YEAR = {1990},
EDITOR = {Paterson, M.S.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=443&spage=765},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {EATCS},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}