@incollection{Li-Vitanyi/92c,
AUTHOR = {Li, Ming and Vit{\'a}nyi, Paul M.B.},
TITLE = {Philosophical issues in Kolmogorov complexity},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {1-15},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Straubing/92,
AUTHOR = {Straubing, Howard},
TITLE = {Circuit complexity and the expressive power of generalized first-order formulas},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {16-27},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Santis-Persiano-Yung/92,
AUTHOR = {de Santis, Alfredo and Persiano, Giuseppe and Yung, Moti},
TITLE = {One-message statistical zero-knowledge proofs and space-bounded verifier},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {28-40},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Keranen/92,
AUTHOR = {Ker{\"a}nen, Veikko},
TITLE = {Abelian squares are avoidable on 4 letters},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {41-52},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karhumaki-Plandowski-Rytter/92,
AUTHOR = {Karhum{\"a}ki, Juhani and Plandowski, Wojciech and Rytter, Wojciech},
TITLE = {Polynomial size test sets for context-free languages},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {53-64},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nishida/92,
AUTHOR = {Nishida, Taishin Y.},
TITLE = {Quasi-deterministic 0L systems},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {65-76},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buntrock-Lorys/92,
AUTHOR = {Buntrock, Gerhard and Lory{\'s}, Krzysztof},
TITLE = {On growing context-sensitive languages},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {77-88},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shallit/92,
AUTHOR = {Shallit, Jeffrey},
TITLE = {Numeration systems, linear recurrences, and regular sets},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {89-100},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krob/92a,
AUTHOR = {Krob, Daniel},
TITLE = {The equality problem for rational series with multiplicities in the tropical semiring is undecidable},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {101-112},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=101},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clerbout-Latteux-Roos-Zielonka/92,
AUTHOR = {Clerbout, M. and Latteux, M. and Roos, Y. and Zielonka, W.},
TITLE = {Semi-commutations and rational expressions},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {113-125},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Tran/92,
AUTHOR = {Ibarra, Oscar H. and Tr{\^a}n, Nicholas Q.},
TITLE = {New results concerning synchronized finite automata},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {126-137},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Engelfriet/92,
AUTHOR = {Engelfriet, Joost},
TITLE = {A Greibach normal form for context-free graph grammars},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {138-149},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=138},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Peladeau-Podelski/92,
AUTHOR = {P{\'e}ladeau, Pierre and Podelski, Andreas},
TITLE = {On reverse and general definite tree languages},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {150-161},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=150},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arvind-Han-Hemachandra-Kobler-Lozano-Mundhenk-Ogiwara-Schoning-Silvestri-Thierauf/92,
AUTHOR = {Arvind, V. and Han, Y. and Hemachandra, L. and K{\"o}bler, J. and Lozano, A. and Mundhenk, M. and Ogiwara, M. and Sch{\"o}ning, U. and Silvestri, R. and Thierauf, T.},
TITLE = {Reductions to sets of low information content},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {162-173},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sheu-Long/92,
AUTHOR = {Sheu, Ming-Jye and Long, Timothy J.},
TITLE = {UP and the low and high hierarchies: A relativized separation},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {174-185},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Flajolet/92,
AUTHOR = {Flajolet, Philippe},
TITLE = {Analytic analysis of algorithms},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {186-210},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kirschenhofer-Prodinger-Szpankowski/92,
AUTHOR = {Kirschenhofer, Peter and Prodinger, Helmut and Szpankowski, Wojciech},
TITLE = {How to count quickly and accurately: A unified analysis of probabilistic counting and other related problems},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {211-222},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=211},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dietzfelbinger-Gil-Matias-Pippenger/92,
AUTHOR = {Dietzfelbinger, M. and Gil, J. and Matias, Y. and Pippenger, N.},
TITLE = {Polynomial hash functions are reliable},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {235-246},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=235},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sekar-Ramesh-Ramakrishnan/92,
AUTHOR = {Sekar, R.C. and Ramesh, R. and Ramakrishnan, I.V.},
TITLE = {Adaptive pattern matching},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {247-260},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=247},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mansour/92,
AUTHOR = {Mansour, Yishay},
TITLE = {Randomized interpolation and approximation of sparse polynomials},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {261-272},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=261},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bodlaender-Fellows-Warnow/92,
AUTHOR = {Bodlaender, Hans L. and Fellows, Mike R. and Warnow, Tandy J.},
TITLE = {Two strikes against perfect phylogeny},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {273-283},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=273},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zhang/92d,
AUTHOR = {Zhang, Guo-Qiang},
TITLE = {Disjunctive systems and L-domains},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {284-295},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=284},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Apostolico-Breslauer-Galil/92,
AUTHOR = {Apostolico, Alberto and Breslauer, Dany and Galil, Zvi},
TITLE = {Optimal parallel algorithms for periods, palindromes and squares},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {296-307},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=296},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Broder-Frieze-Shamir-Upfal/92,
AUTHOR = {Broder, Andrei Z. and Frieze, Alan M. and Shamir, E. and Upfal, E.},
TITLE = {Near-perfect token distribution},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {308-317},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=308},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup-Kutylowski/92,
AUTHOR = {Hagerup, Torben and Kuty{\l}owski, Miros{\l}aw},
TITLE = {Fast integer merging on the EREW PRAM},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {318-329},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=318},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Khuller-Thurimella/92,
AUTHOR = {Khuller, Samir and Thurimella, Ramakrishna},
TITLE = {Approximation algorithms for graph augmentation},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {330-341},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=330},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Westbrook/92,
AUTHOR = {Westbrook, Jeffrey},
TITLE = {Fast incremental planarity testing},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {342-353},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=342},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{La_Poutre/92,
AUTHOR = {La Poutr{\'e}, J.A.},
TITLE = {Maintenance of triconnected components of graphs},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {354-365},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=354},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vazirani-Yannakakis/92,
AUTHOR = {Vazirani, Vijay V. and Yannakakis, Mihalis},
TITLE = {Suboptimal cuts: their enumeration, weight and number},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {366-377},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=366},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buchberger/92,
AUTHOR = {Buchberger, Bruno},
TITLE = {Gr{\"o}bner bases: An introduction},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {378-379},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=378},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bundgen/92,
AUTHOR = {B{\"u}ndgen, Reinhard},
TITLE = {Buchberger's algorithm: The term rewriter's point of view},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {380-391},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=380},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Comon/92,
AUTHOR = {Comon, Hubert},
TITLE = {Completion of rewrite systems with membership constraints},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {392-403},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=392},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rote/92,
AUTHOR = {Rote, G{\"u}nter},
TITLE = {A new metric between polygons, and how to compute it},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {404-415},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=404},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Paterson-Yao/92a,
AUTHOR = {Paterson, Michael S. and Yao, F. Frances},
TITLE = {On nearest-neighbor graphs},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {416-426},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=416},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Matousek-Seidel/92,
AUTHOR = {Matou{\v{s}}ek, Ji{\v{r}}{\'i} and Seidel, Raimund},
TITLE = {A tail estimate for Mulmuley's segment intersection algorithm},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {427-438},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=427},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Rosenberg/92,
AUTHOR = {Chazelle, Bernard and Rosenberg, Burton},
TITLE = {Lower bounds on the complexity of simplex range reporting on a pointer machine},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {439-449},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=439},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kolaitis-Vardi/92,
AUTHOR = {Kolaitis, Phokion G. and Vardi, Moshe Y.},
TITLE = {Infinitary logic for computer science},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {450-473},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=450},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chang-Manna-Pnueli/92,
AUTHOR = {Chang, Edward and Manna, Zohar and Pnueli, Amir},
TITLE = {Characterization of temporal property classes},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {474-486},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=474},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ong/92,
AUTHOR = {Ong, C.-H. Luke},
TITLE = {Lazy lambda calculus: Theories, models and local structure characterization},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {487-498},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=487},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Laenens-Vermeir-Zaniolo/92,
AUTHOR = {Laenens, Els and Vermeir, Dirk and Zaniolo, Carlo},
TITLE = {Logic programming semantics made easy},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {499-508},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=499},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Debray/92a,
AUTHOR = {Debray, Saumya K.},
TITLE = {On the complexity of dataflow analysis of logic programs},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {509-520},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=509},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cortesi-File-Winsborough/92,
AUTHOR = {Cortesi, Agostino and Fil{\`e}, Gilberto and Winsborough, William},
TITLE = {Comparison of abstract interpretations},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {521-532},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=521},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Phoa-Fourman/92,
AUTHOR = {Phoa, Wesley and Fourman, Michael},
TITLE = {A proposed categorical semantics for pure ML},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {533-544},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=533},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Moller-Tofts/92,
AUTHOR = {Moller, Faron and Tofts, Chris},
TITLE = {Behavioural abstraction in TCCS},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {559-570},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=559},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brown-Gurr/92,
AUTHOR = {Brown, Carolyn and Gurr, Doug},
TITLE = {Timing Petri nets categorically},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {571-582},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=571},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gastin-Petit/92b,
AUTHOR = {Gastin, Paul and Petit, Antoine},
TITLE = {Asynchronous cellular automata for infinite traces},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {583-594},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=583},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hoogers-Kleijn-Thiagarajan/92,
AUTHOR = {Hoogers, P.W. and Kleijn, H.C.M. and Thiagarajan, P.S.},
TITLE = {A trace semantics for Petri nets},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {595-604},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=595},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vogler/92,
AUTHOR = {Vogler, Walter},
TITLE = {Asynchronous communication of Petri nets and the refinement of transitions},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {605-616},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=605},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Montanari-Yankelevich/92,
AUTHOR = {Montanari, Ugo and Yankelevich, Daniel},
TITLE = {A parametric approach to localities},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {617-628},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=617},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Degano-Priami/92,
AUTHOR = {Degano, Pierpaolo and Priami, Corrado},
TITLE = {Proved trees},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {629-640},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=629},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Olderog/92,
AUTHOR = {Olderog, Ernst-R{\"u}diger},
TITLE = {Interfaces between languages for communicating systems},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {641-655},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=641},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sannella-Tarlecki/92,
AUTHOR = {Sannella, Donald and Tarlecki, Andrzej},
TITLE = {Toward formal development of programs from algebraic specifications: Model-theoretic foundations},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {656-671},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=656},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fix-Francez-Grumberg/92,
AUTHOR = {Fix, Limor and Francez, Nissim and Grumberg, Orna},
TITLE = {Program composition via unification},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {672-684},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=672},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Milner-Sangiorgi/92,
AUTHOR = {Milner, Robin and Sangiorgi, Davide},
TITLE = {Barbed dissimulation},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {685-695},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=685},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rabinovich/92,
AUTHOR = {Rabinovich, Alexander},
TITLE = {Checking equivalences between concurrent systems of finite agents},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {696-707},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=696},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cleaveland-Smolka-Zwarico/92,
AUTHOR = {Cleaveland, Rance and Smolka, Scott A. and Zwarico, Amy},
TITLE = {Testing preorders for probabilistic processes},
BOOKTITLE = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming, ICALP'92 (Wien, Austria, July 13-17, 1992)},
SERIES = {LNCS},
VOLUME = {623},
PAGES = {708-719},
YEAR = {1992},
EDITOR = {Kuich, W.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=623&spage=708},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}