@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{i92-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.~M. 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{i92-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{i92-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{i92-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 \(\mathcal{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 \(x^n = x^{n+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{i92-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{i92-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{i92-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{i92-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{i92-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 MOD\(_q\) 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{i92-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  = {}}