@proceedings{DBLP:conf/latin/1992,
  editor    = {Imre Simon},
  title     = {LATIN '92, 1st Latin American Theoretical Informatics Symposium, S\~ao Paulo, Brazil, April 6-10, 1992, Proceedings},
  booktitle = {LATIN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {583},
  year      = {1992},
  isbn      = {3-540-55284-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@InProceedings{l92-p1-14,
  AUTHOR    = {Paola Alimonti and Esteban Feuerstein and Umberto Nanni},
  TITLE     = {Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {1-14},
  KEYWORDS  = {}}

@InProceedings{l92-p15-23,
  AUTHOR    = {Jean-Paul Allouche},
  TITLE     = {q-Regular Sequences and Other Generalizations of q-Automatic Sequences},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {15-23},
  KEYWORDS  = {}}

@InProceedings{l92-p24-31,
  AUTHOR    = {David~A.~Mix Barrington and Howard Straubing},
  TITLE     = {Complex Polynomials and Circuit Lower Bounds for Modular Counting},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {24-31},
  KEYWORDS  = {}}

@InProceedings{l92-p32-45,
  AUTHOR    = {Dani\`ele Beauquier and Michel Latteux and Karine Slowinski},
  TITLE     = {A Decidability Result about Convex Polyominoes},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {32-45},
  KEYWORDS  = {}}

@InProceedings{l92-p46-60,
  AUTHOR    = {Marshall~W. Bern and Herbert Edelsbrunner and David Eppstein and S. Mitchell and Tio~Seng Tan},
  TITLE     = {Edge Insertion for Optional Triangulations},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {46-60},
  KEYWORDS  = {}}

@InProceedings{l92-p61-70,
  AUTHOR    = {Sa\"id Bettayeb and Bin Cong and Mike Girou and Ivan~Hal Sudborough},
  TITLE     = {Simulation Permutation Networks on Hypercubes},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {61-70},
  KEYWORDS  = {}}

@InProceedings{l92-p71-75,
  AUTHOR    = {Manuel Blum},
  TITLE     = {Universal Statistical Tests},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {71-75},
  KEYWORDS  = {}}

@InProceedings{l92-p76-86,
  AUTHOR    = {Francis Bossut and Bruno Warnin},
  TITLE     = {Automata and Pattern Matching in Planar Directed Acyclic Graphs},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {76-86},
  KEYWORDS  = {}}

@InProceedings{l92-p87-98,
  AUTHOR    = {Anne Br\"uggemann-Klein},
  TITLE     = {Regular Expressions into Finite Automata},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {87-98},
  KEYWORDS  = {}}

@InProceedings{l92-p99-107,
  AUTHOR    = {V\'eronique Bruy\`ere},
  TITLE     = {Automata and Codes with Bounded Deciphering Delay},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {99-107},
  KEYWORDS  = {}}

@InProceedings{l92-p108-116,
  AUTHOR    = {Svante Carlsson and Jingsen Chen},
  TITLE     = {Parallel Complexity of Heaps and Min-Max Heaps},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {108-116},
  KEYWORDS  = {}}

@InProceedings{l92-p117-129,
  AUTHOR    = {Felipe Cucker and Francesc Rossell\'o},
  TITLE     = {On the Complexity of Some Problems for the Blum, Shub \& Smale Model},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {117-129},
  KEYWORDS  = {}}

@InProceedings{l92-p130-138,
  AUTHOR    = {Wenceslas Fernandez~de~la~Vega and Vangelis~Th. Paschos and Rachid Saad},
  TITLE     = {Average Case Analysis of a Greedy Algorithm for the Minimum Hitting Set Problem},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {130-138},
  KEYWORDS  = {}}

@InProceedings{l92-p139-153,
  AUTHOR    = {Afonso Ferreira and Siang~W. Song},
  TITLE     = {Achieving Optimality for Gate Matrix Layout and PLA Folding: a Graph Theoretic Approach},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {139-153},
  KEYWORDS  = {}}

@InProceedings{l92-p154-164,
  AUTHOR    = {Christiane Frougny},
  TITLE     = {How to Write Integers in Non-Integer Base},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {154-164},
  KEYWORDS  = {}}

@InProceedings{l92-p165-176,
  AUTHOR    = {Oscar Garrido and Stefan Jarominek and Andrzej Lingas and Wojciech Rytter},
  TITLE     = {A Simple Randomized Parallel Algorithm for Maximal f-Matching},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {165-176},
  KEYWORDS  = {}}

@InProceedings{l92-p177-190,
  AUTHOR    = {William~I. Gasarch and Katia~S. Guimar\~aes},
  TITLE     = {On the Number Components of a Recursive Graph},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {177-190},
  KEYWORDS  = {}}

@InProceedings{l92-p191-203,
  AUTHOR    = {Mark Giesbrecht},
  TITLE     = {Factoring in Skew-Polynomial Rings},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {191-203},
  KEYWORDS  = {}}

@InProceedings{l92-p204-218,
  AUTHOR    = {Joseph Gil and Yossi Matias},
  TITLE     = {Leaders Election Without Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {204-218},
  KEYWORDS  = {}}

@InProceedings{l92-p219-230,
  AUTHOR    = {Eric Goles and Marcos Kiwi},
  TITLE     = {Dynamics of Sand-Piles Games on Graphs},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {219-230},
  KEYWORDS  = {}}

@InProceedings{l92-p231-245,
  AUTHOR    = {Jaime Gutierrez and Tom\'as Recio},
  TITLE     = {Rational Function Decomposition and Gr\"obner Bases in the Parameterization of Plane Curves (An extended abstract)},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {231-245},
  KEYWORDS  = {}}

@InProceedings{l92-p246-261,
  AUTHOR    = {Kosaburo Hashiguchi},
  TITLE     = {The Double Reconstruction Conjectures about Colored Hypergraphs and Colored Directed Graphs},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {246-261},
  KEYWORDS  = {}}

@InProceedings{l92-p262-271,
  AUTHOR    = {Ulrich Hertrampf},
  TITLE     = {Locally Definable Acceptance Types - The Three-Valued Case},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {262-271},
  KEYWORDS  = {}}

@InProceedings{l92-p272-280,
  AUTHOR    = {Joachim Hollman},
  TITLE     = {On the Computation of the Hilbert Series},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {272-280},
  KEYWORDS  = {}}

@InProceedings{l92-p281-293,
  AUTHOR    = {Esther Jennings and Lenka Motyckova},
  TITLE     = {A Distributed Algorithm for finding All Maximal Cliques in a Network Graph},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {281-293},
  KEYWORDS  = {}}

@InProceedings{l92-p294-313,
  AUTHOR    = {Erich Kaltofen},
  TITLE     = {Polynomial Factorization 1987-1991},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {294-313},
  KEYWORDS  = {}}

@InProceedings{l92-p314-328,
  AUTHOR    = {Nami Kobayashi},
  TITLE     = {Properties of Recognizable M-Subsets of a Free Monoid},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {314-328},
  KEYWORDS  = {}}

@InProceedings{l92-p329-343,
  AUTHOR    = {Alair Pereira~do~Lago},
  TITLE     = {On the Burnside Semigroups xn = xn+m},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {329-343},
  KEYWORDS  = {}}

@InProceedings{l92-p344-355,
  AUTHOR    = {Arjen~K. Lenstra},
  TITLE     = {Massively Parallel Computing and Factoring},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {344-355},
  KEYWORDS  = {}}

@InProceedings{l92-p356-371,
  AUTHOR    = {Aldo de~Luca and Stefano Varricchio},
  TITLE     = {Some Regularity Conditions Based on Well Quasi-Orders},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {356-371},
  KEYWORDS  = {}}

@InProceedings{l92-p372-386,
  AUTHOR    = {Gene Myers},
  TITLE     = {Approximate Matching of Network Expressions with Spacers},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {372-386},
  KEYWORDS  = {}}

@InProceedings{l92-p387-400,
  AUTHOR    = {Rolf Niedermeier and Peter Rossmanith},
  TITLE     = {Unambiguous Simulations of Auxiliary Pushdown Automata and Circuits (Extended Abstract)},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {387-400},
  KEYWORDS  = {}}

@InProceedings{l92-p401-416,
  AUTHOR    = {Jean-Eric Pin},
  TITLE     = {On Reversible Automata},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {401-416},
  KEYWORDS  = {}}

@InProceedings{l92-p417-429,
  AUTHOR    = {Oscar Porto},
  TITLE     = {Even Induced Cycles in Planar Graphs},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {417-429},
  KEYWORDS  = {}}

@InProceedings{l92-p430-447,
  AUTHOR    = {Vaughan~R. Pratt},
  TITLE     = {Arithmetic + Logic + Geometry = Concurrency},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {430-447},
  KEYWORDS  = {}}

@InProceedings{l92-p448-459,
  AUTHOR    = {Jos\'e~D.~P. Rolim},
  TITLE     = {On the Density and Core of the Complexity Classes},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {448-459},
  KEYWORDS  = {}}

@InProceedings{l92-p460-473,
  AUTHOR    = {Jacques Sakarovitch},
  TITLE     = {The "Last" Decision Problem for Rational Trace Languages},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {460-473},
  KEYWORDS  = {}}

@InProceedings{l92-p474-487,
  AUTHOR    = {Alistair Sinclair},
  TITLE     = {Improved Bounds for Mixing Rates of Marked Chains and Multicommodity Flow},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {474-487},
  KEYWORDS  = {}}

@InProceedings{l92-p488-497,
  AUTHOR    = {Daniel~Dominic Sleator},
  TITLE     = {Data Structures and Terminating Petri Nets},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {488-497},
  KEYWORDS  = {}}

@InProceedings{l92-p498-502,
  AUTHOR    = {Denis Th\'erien},
  TITLE     = {Circuits Constructed with MODq Gates Cannot Compute AND in Sublinear Size},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {498-502},
  KEYWORDS  = {}}

@InProceedings{l92-p503-515,
  AUTHOR    = {Andreas Weber},
  TITLE     = {Decomposing a k-valued Transducer into k Unambiguous Ones},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {503-515},
  KEYWORDS  = {}}

@InProceedings{l92-p516-529,
  AUTHOR    = {Xiao Zhou and Shin-Ichi Nakano and Hitoshi Suzuki and Takao Nishizeki},
  TITLE     = {An Efficient Algorithm for Edge-Coloring Series-Parallel Multigraphs},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {516-529},
  KEYWORDS  = {}}

@InProceedings{l92-p530-543,
  AUTHOR    = {Michel Cosnard and Pascal Koiran and H\'el\`ene Paugam-Moisy},
  TITLE     = {Complexity Issues in Neural Network Computations},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'YY)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {530-543},
  KEYWORDS  = {}}