@incollection{Abello-Kumar/95a, AUTHOR = {Abello, James and Kumar, Krishna}, TITLE = {Visibility graphs of 2-spiral polygons}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {1-15}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Alonso-Schott/95, AUTHOR = {Alonso, L. and Schott, R.}, TITLE = {Random generation of colored trees}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {16-35}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Asano-Ranjan-Roos-Welzl-Widmayer/95, AUTHOR = {Asano, Tetsuo and Ranjan, Desh and Roos, Thomas and Welzl, Emo and Widmayer, Peter}, TITLE = {Space filling curves and their use in the design of geometric data structures}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {36-48}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Balasubramanian-Raman-Srinivasaraghavan/95, AUTHOR = {Balasubramanian, R. and Raman, Venkatesh and Srinivasaraghavan, G.}, TITLE = {Tight bounds for finding degrees from the adjacency matrix}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {49-59}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Barrington-Straubing/95a, AUTHOR = {Barrington, David Mix and Straubing, Howard}, TITLE = {Lower bounds for modular counting by circuits with modular gates}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {60-71}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Becker-Drechsler-Werchner/95a, AUTHOR = {Becker, Bernd and Drechsler, Rolf and Werchner, Ralph}, TITLE = {On the relation between BDDs and FDDs}, BOOKTITLE = {Proceedings of the Second Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {72-83}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=911&spage=72}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Blanchard-Maass/95, AUTHOR = {Blanchard, F. and Maass, Alejandro}, TITLE = {On dynamical properties of generalized toggle automata}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {84-98}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Bloom-Esik/95a, AUTHOR = {Bloom, Stephen L. and {\'{E}}sik, Zolt{\'{a}}n}, TITLE = {Free shuffle algebras in language varieties}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {99-111}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Bradford-Choppella-Rawlins/95, AUTHOR = {Bradford, Phillip G. and Choppella, Venkatesh and Rawlins, Gregory J.E.}, TITLE = {Lower bounds for the matrix chain ordering problem}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {112-130}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Brands/95, AUTHOR = {Brands, Stefan}, TITLE = {Off-line electronic cash based on secret-key certificates}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {131-166}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Bruyere-Hansel/95, AUTHOR = {Bruy{\`{e}}re, V{\'{e}}ronique and Hansel, Georges}, TITLE = {Recognizable sets of numbers in nonstandard bases}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {167-179}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Buntrock-Niemann/95, AUTHOR = {Buntrock, Gerhard and Niemann, Gundula}, TITLE = {On weak growing context-sensitive grammars}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {180-194}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Callejas_Bedregal-Acioly/95, AUTHOR = {Callejas Bedregal, Benjam{\'{i}}n R. and Aci{\'{o}}ly, Benedito Melo}, TITLE = {Logic of Plotkin continuous domain}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {195-206}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Chaudhuri-Dubhashi/95, AUTHOR = {Chaudhuri, Shiva and Dubhashi, Devdatt}, TITLE = {(Probabilistic) recurrence relations revisited}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {207-219}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Crochemore-Rytter/95a, AUTHOR = {Crochemore, Maxime and Rytter, Wojciech}, TITLE = {On linear-time alphabet-independent 2-dimensional pattern matching}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {220-229}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Durand-Lose/95, AUTHOR = {Durand-Lose, J{\'{e}}r{\^{o}}me}, TITLE = {Reversible cellular automaton able to simulate any other reversible one using partitioning automata}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {230-244}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Eades-Whitesides/95, AUTHOR = {Eades, Peter and Whitesides, Sue}, TITLE = {Nearest neighbour graph realizability is $NP$-hard}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {245-256}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Fernandez-Baca-Slutzki/95, AUTHOR = {Fern{\'{a}}ndez-Baca, David and Slutzki, Giora}, TITLE = {Linear-time algorithms for parametric minimum spanning tree problems on planar graphs}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {257-271}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Feuerstein/95, AUTHOR = {Feuerstein, Esteban}, TITLE = {Paging more than one page}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {272-285}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{de_Figueiredo-Meidanis-Mello/95, AUTHOR = {de Figueiredo, Celina M.H. and Meidanis, Jo{\~a}o and Mello, C{\'{e}}lia Picinin de}, TITLE = {On edge-colouring indifference graphs}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {286-299}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Galbiati-Morzenti-Maffioli/95, AUTHOR = {Galbiati, Giulia and Morzenti, Angelo and Maffioli, Francesco}, TITLE = {On the approximability of some maximum spanning tree problems}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {300-310}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Gao-Gathen-Panario/95, AUTHOR = {Gao, Shuhong and Gathen, Joachim von zur and Panario, Daniel}, TITLE = {Gauss periods and fast exponentiation in finite fields}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {311-322}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Gasarch-Guimaraes/95, AUTHOR = {Gasarch, William I. and Guimar{\~a}es, Katia S.}, TITLE = {Unbounded search and recursive graph problems}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {323-331}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Gonzalez-Vega/95a, AUTHOR = {Gonz{\'{a}}lez-Vega, Laureano}, TITLE = {On the complexity of computing the greatest common divisor of several univariate polynomials}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {332-345}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Gruska-Monti-Napoli-Parente/95, AUTHOR = {Gruska, J. and Monti, A. and Napoli, M. and Parente, D.}, TITLE = {State complexity of SBTA languages}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {346-357}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Herzog/95, AUTHOR = {Herzog, Christian}, TITLE = {Pushdown automata with bounded nondeterminism and bounded ambiguity}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {358-370}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Macarie/95b, AUTHOR = {Macarie, Ioan I.}, TITLE = {Multihead two-way probabilistic finite automata}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {371-385}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Margenstern/95, AUTHOR = {Margenstern, Maurice}, TITLE = {Non-erasing Turing machines: A new frontier between a decidable halting problem and universality}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {386-397}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Matamala-Goles/95, AUTHOR = {Matamala, Mart{\'{i}}n and Goles, Eric}, TITLE = {Cyclic automata networks on finite graphs}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {398-410}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Meidanis-Setubal/95, AUTHOR = {Meidanis, Jo{\~a}o and Setubal, Jo{\~a}o C.}, TITLE = {Multiple alignment of biological sequences with gap flexibility}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {411-426}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Meinel-Waack/95, AUTHOR = {Meinel, Christoph and Waack, Stephan}, TITLE = {Lower bounds for the modular communication complexity of various graph accessibility problems}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {427-435}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Mundhenk/95, AUTHOR = {Mundhenk, M.}, TITLE = {On monotonous oracle machines}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {436-448}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Oommen-Croix/95, AUTHOR = {Oommen, B. John and Croix, Edward V. De St.}, TITLE = {On using learning automata for fast graph partitioning}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {449-460}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Prodinger/95a, AUTHOR = {Prodinger, Helmut}, TITLE = {Solution of a problem of Yekutieli and Mandelbrot}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {461-468}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Richard-Saubion/95, AUTHOR = {Richard, Gilles and Saubion, Fr{\'{e}}d{\'{e}}ric}, TITLE = {A rewrite approach for constraint logic programming}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {469-482}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Roka/95a, AUTHOR = {R{\'{o}}ka, Zsuzsanna}, TITLE = {Simulations between cellular automata on Cayley graphs}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {483-493}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Wang/95e, AUTHOR = {Wang, Farn}, TITLE = {A temporal logic for real-time partial-ordering with named transactions}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {494-508}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Yamakawa-Ebara-Nakano/95, AUTHOR = {Yamakawa, Peter M. and Ebara, Hiroyuki and Nakano, Hideo}, TITLE = {A new approach for routing in arrangement graphs and its performance evaluation}, BOOKTITLE = {Proceedings of the 2nd Latin American Symposium on Theoretical Informatics, LATIN'95 (Valparaiso, Chile, April 3-7, 1995)}, SERIES = {LNCS}, VOLUME = {911}, PAGES = {509-523}, YEAR = {1995}, EDITOR = {Baeza-Yates, Ricardo and Goles, Eric and Poblete, Patricio V.}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, }