@incollection{Alimonti-Feuerstein-Nanni/92, AUTHOR = {Alimonti, Paola and Feuerstein, Esteban and Nanni, Umberto}, TITLE = {Linear time algorithms for liveness and boundedness in conflict-free Petri nets}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {1-14}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Allouche/92, AUTHOR = {Allouche, Jean-Paul}, TITLE = {$q$-regular sequences and other generalizations of $q$-automatic sequences}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {15-23}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Barrington-Straubing/92, AUTHOR = {Barrington, David A. Mix and Straubing, Howard}, TITLE = {Complex polynomials and circuit lower bounds for modular counting}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {24-31}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=24}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Beauquier-Latteux-Slowinski/92, AUTHOR = {Beauquier, Dani{\`e}le and Latteux, Michel and Slowinski, Karine}, TITLE = {A decidability result about convex polyominoes}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {32-45}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=32}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Bern-Edelsbrunner-Eppstein-Mitchell-Tan/92, AUTHOR = {Bern, M. and Edelsbrunner, H. and Eppstein, D. and Mitchell, S. and Tan, T.S.}, TITLE = {Edge insertion for optimal triangulations}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {46-60}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=46}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Bettayeb-Cong-Girou-Sudborough/92, AUTHOR = {Bettayeb, Said and Cong, Bin and Girou, Mike and Sudborough, I. Hal}, TITLE = {Simulating permutation networks on hypercubes}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {61-70}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=61}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Blum/92a, AUTHOR = {Blum, Manuel}, TITLE = {Universal statistical tests}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {71-75}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=71}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Bossut-Warin/92, AUTHOR = {Bossut, F. and Warin, B.}, TITLE = {Automata and pattern matching in planar directed acyclic graphs}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {76-86}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=76}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Bruggemann-Klein/92, AUTHOR = {Br{\"u}ggemann-Klein, Anne}, TITLE = {Regular expressions into finite automata}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {87-98}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=87}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Bruyere/92, AUTHOR = {Bruy{\`e}re, V{\'e}ronique}, TITLE = {Automata and codes with bounded deciphering delay}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {99-107}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=99}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Carlsson-Chen/92, AUTHOR = {Carlsson, Svante and Chen, Jingsen}, TITLE = {Parallel complexity of heaps and min-max heaps}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {108-116}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=108}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Cucker-Rossello/92, AUTHOR = {Cucker, Felipe and Rossell{\'o}, Francesc}, TITLE = {On the complexity of some problems for the Blum, Shub \& Smale model}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {117-129}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=117}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Fernandez_de_la_Vega-Paschos-Saad/92, AUTHOR = {Fernandez de la Vega, W. and Paschos, V.Th. and Saad, R.}, TITLE = {Average case analysis of a greedy algorithm for the minimum hitting set problem}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {130-138}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=130}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Ferreira-Song/92, AUTHOR = {Ferreira, Afonso G. and Song, Siang W.}, TITLE = {Achieving optimality for gate matrix layout and PLA folding: a graph theoretic approach}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {139-153}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=139}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Frougny/92, AUTHOR = {Frougny, Christiane}, TITLE = {How to write integers in non-integer base}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {154-164}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=154}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Garrido-Jarominek-Lingas-Rytter/92, AUTHOR = {Garrido, Oscar and Jarominek, Stefan and Lingas, Andrzej and Rytter, Wojciech}, TITLE = {A simple randomized parallel algorithm fo maximal $f$-matchings}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {165-176}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=165}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Gasarch-Guimaraes/92, AUTHOR = {Gasarch, William I. and Guimar{\~a}es, Katia S.}, TITLE = {On the number of components of a recursive graph}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {177-190}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=177}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Giesbrecht/92, AUTHOR = {Giesbrecht, Mark}, TITLE = {Factoring in skew-polynomial rings}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {191-203}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=191}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Gil-Matias/92, AUTHOR = {Gil, Joseph and Matias, Yossi}, TITLE = {Leaders election without conflict resolution rule---fast and efficient randomized simulations among CRCW PRAMs}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {204-218}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=204}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Goles-Kiwi/92, AUTHOR = {Goles, Eric and Kiwi, Marcos A.}, TITLE = {Dynamics of sand-piles games on graphs}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {219-230}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=219}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Gutierrez-Recio/92a, AUTHOR = {Gutierrez, Jaime and Recio, Tomas}, TITLE = {Rational function decomposition and Gr{\"o}bner bases in the parameterization of plane curves}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {231-245}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=231}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Hashiguchi/92a, AUTHOR = {Hashiguchi, Kosaburo}, TITLE = {The double reconstruction conjectures about colored hypergraphs and colored directed graphs}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {246-261}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=246}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Hertrampf/92a, AUTHOR = {Hertrampf, Ulrich}, TITLE = {Locally definable acceptance types---the three-valued case}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {262-271}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=262}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Hollman/92, AUTHOR = {Hollman, Joachim}, TITLE = {On the computation of the Hilbert series}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {272-280}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=272}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Jennings-Motyckova/92, AUTHOR = {Jennings, Esther and Moty{\v{c}}kov{\'a}, Lenka}, TITLE = {A distributed algorithm for finding all maximal cliques in a network graph}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {281-293}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=281}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Kaltofen/92, AUTHOR = {Kaltofen, Erich}, TITLE = {Polynomial factorization 1987--1991}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {294-313}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=294}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Kobayashi/92a, AUTHOR = {Kobayashi, Nami}, TITLE = {Properties of recognizable ${\cal M}$-subsets of a free monoid}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {314-328}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=314}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Pereira_do_Lago/92, AUTHOR = {Pereira do Lago, Alair}, TITLE = {On the Burnside semigroups $x^n = x^{n+m}$}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {329-343}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=329}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Lenstra/92, AUTHOR = {Lenstra, Arjen K.}, TITLE = {Massively parallel computing and factoring}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {344-355}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=344}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{de_Luca-Varricchio/92, AUTHOR = {de Luca, Aldo and Varricchio, Stefano}, TITLE = {Some regularity conditions based on well quasi-orders}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {356-371}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=356}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Myers/92a, AUTHOR = {Myers, Gene}, TITLE = {Approximate matching of network expressions with spacers}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {372-386}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=372}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Niedermeier-Rossmanith/92, AUTHOR = {Niedermeier, Rolf and Rossmanith, Peter}, TITLE = {Unambiguous simulations of auxiliary pushdown automata and circuits}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {387-400}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=387}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Pin/92, AUTHOR = {Pin, Jean-Eric}, TITLE = {On reversible automata}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {401-416}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=401}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Porto/92, AUTHOR = {Porto, Oscar}, TITLE = {Even induced cycles in planar graphs}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {417-429}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=417}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Pratt/92, AUTHOR = {Pratt, Vaughan}, TITLE = {Arithmetic + logic + geometry = concurrency}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {430-447}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=430}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Rolim/92, AUTHOR = {Rolim, Jos{\'e} D.P.}, TITLE = {On the density and core of the complexity classes}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {448-459}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=448}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Sakarovitch/92, AUTHOR = {Sakarovitch, Jacques}, TITLE = {The ``last'' decision problem for rational trace languages}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {460-473}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=460}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Sinclair/92, AUTHOR = {Sinclair, Alistair}, TITLE = {Improved bounds for mixing rates of Markov chains and multicommodity flow}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {474-487}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=474}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Sleator/92, AUTHOR = {Sleator, Daniel D.}, TITLE = {Data structures and terminating Petri nets}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {488-497}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=488}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Therien/92, AUTHOR = {Th{\'e}rien, Denis}, TITLE = {Circuits constructed with $MOD_q$ gates cannot compute AND in sublinear size}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {498-502}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=498}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Weber/92, AUTHOR = {Weber, Andreas}, TITLE = {Decomposing a $k$-valued transducer into $k$ unambiguous ones}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {503-515}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=503}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Zhou-Nakano-Suzuki-Nishizeki/92, AUTHOR = {Zhou, X. and Nakano, S. and Suzuki, H. and Nishizeki, T.}, TITLE = {An efficient algorithm for edge-coloring series-parallel multigraphs}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {516-529}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=516}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Cosnard-Koiran-Paugam-Moisy/92, AUTHOR = {Cosnard, Michel and Koiran, Pascal and Paugam-Moisy, H{\'e}l{\`e}ne}, TITLE = {Complexity issues in neural network computations}, BOOKTITLE = {Proceedings of the 1st Latin American Symposium on Theoretical Informatics LATIN '92 (S{\~a}o Paulo, Brazil, April 1992)}, SERIES = {LNCS}, VOLUME = {583}, PAGES = {530-544}, YEAR = {1992}, EDITOR = {Simon, I.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=583&spage=530}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, }