1. LATIN 1992:
São Paulo, Brazil
Imre Simon (Ed.):
LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings.
Lecture Notes in Computer Science 583 Springer 1992, ISBN 3-540-55284-7 BibTeX
@proceedings{DBLP:conf/latin/1992,
editor = {Imre Simon},
title = {LATIN '92, 1st Latin American Symposium on Theoretical Informatics,
S{\~a}o 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}
}
- Paola Alimonti, Esteban Feuerstein, Umberto Nanni:
Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets.
1-14 BibTeX
- Jean-Paul Allouche:
q-Regular Sequences and Other Generalizations of q-Automatic Sequences.
15-23 BibTeX
- David A. Mix Barrington, Howard Straubing:
Complex Polynomials and Circuit Lower Bounds for Modular Counting.
24-31 BibTeX
- Danièle Beauquier, Michel Latteux, Karine Slowinski:
A Decidability Result about Convex Polyominoes.
32-45 BibTeX
- Marshall W. Bern, Herbert Edelsbrunner, David Eppstein, Sandra L. Mitchell, Tiow Seng Tan:
Edge Insertion for Optional Triangulations.
46-60 BibTeX
- Saïd Bettayeb, Bin Cong, Mike Girou, Ivan Hal Sudborough:
Simulation Permutation Networks on Hypercubes.
61-70 BibTeX
- Manuel Blum:
Universal Statistical Tests.
71-75 BibTeX
- Francis Bossut, Bruno Warin:
Automata and Pattern Matching in Planar Directed Acyclic Graphs.
76-86 BibTeX
- Anne Brüggemann-Klein:
Regular Expressions into Finite Automata.
87-98 BibTeX
- Véronique Bruyère:
Automata and Codes with Bounded Deciphering Delay.
99-107 BibTeX
- Svante Carlsson, Jingsen Chen:
Parallel Complexity of Heaps and Min-Max Heaps.
108-116 BibTeX
- Felipe Cucker, Francesc Rosselló:
On the Complexity of Some Problems for the Blum, Shub & Smale Model.
117-129 BibTeX
- Wenceslas Fernandez de la Vega, Vangelis Th. Paschos, Rachid Saad:
Average Case Analysis of a Greedy Algorithm for the Minimum Hitting Set Problem.
130-138 BibTeX
- Afonso Ferreira, Siang W. Song:
Achieving Optimality for Gate Matrix Layout and PLA Folding: a Graph Theoretic Approach.
139-153 BibTeX
- Christiane Frougny:
How to Write Integers in Non-Integer Base.
154-164 BibTeX
- Oscar Garrido, Stefan Jarominek, Andrzej Lingas, Wojciech Rytter:
A Simple Randomized Parallel Algorithm for Maximal f-Matching.
165-176 BibTeX
- William I. Gasarch, Katia S. Guimarães:
On the Number Components of a Recursive Graph.
177-190 BibTeX
- Mark Giesbrecht:
Factoring in Skew-Polynomial Rings.
191-203 BibTeX
- Joseph Gil, Yossi Matias:
Leaders Election Without Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs.
204-218 BibTeX
- Eric Goles Ch., Marcos A. Kiwi:
Dynamics of Sand-Piles Games on Graphs.
219-230 BibTeX
- Jaime Gutierrez, Tomás Recio:
Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract).
231-245 BibTeX
- Kosaburo Hashiguchi:
The Double Reconstruction Conjectures about Colored Hypergraphs and Colored Directed Graphs.
246-261 BibTeX
- Ulrich Hertrampf:
Locally Definable Acceptance Types - The Three-Valued Case.
262-271 BibTeX
- Joachim Hollman:
On the Computation of the Hilbert Series.
272-280 BibTeX
- Esther Jennings, Lenka Motyckova:
A Distributed Algorithm for finding All Maximal Cliques in a Network Graph.
281-293 BibTeX
- Erich Kaltofen:
Polynomial Factorization 1987-1991.
294-313 BibTeX
- Nami Kobayashi:
Properties of Recognizable M-Subsets of a Free Monoid.
314-328 BibTeX
- Alair Pereira do Lago:
On the Burnside Semigroups xn = xn+m.
329-343 BibTeX
- Arjen K. Lenstra:
Massively Parallel Computing and Factoring.
344-355 BibTeX
- Aldo de Luca, Stefano Varricchio:
Some Regularity Conditions Based on Well Quasi-Orders.
356-371 BibTeX
- Gene Myers:
Approximate Matching of Network Expressions with Spacers.
372-386 BibTeX
- Rolf Niedermeier, Peter Rossmanith:
Unambiguous Simulations of Auxiliary Pushdown Automata and Circuits (Extended Abstract).
387-400 BibTeX
- Jean-Eric Pin:
On Reversible Automata.
401-416 BibTeX
- Oscar Porto:
Even Induced Cycles in Planar Graphs.
417-429 BibTeX
- Vaughan R. Pratt:
Arithmetic + Logic + Geometry = Concurrency.
430-447 BibTeX
- José D. P. Rolim:
On the Density and Core of the Complexity Classes.
448-459 BibTeX
- Jacques Sakarovitch:
The "Last" Decision Problem for Rational Trace Languages.
460-473 BibTeX
- Alistair Sinclair:
Improved Bounds for Mixing Rates of Marked Chains and Multicommodity Flow.
474-487 BibTeX
- Daniel Dominic Sleator:
Data Structures and Terminating Petri Nets.
488-497 BibTeX
- Denis Thérien:
Circuits Constructed with MODq Gates Cannot Compute AND in Sublinear Size.
498-502 BibTeX
- Andreas Weber:
Decomposing a k-valued Transducer into k Unambiguous Ones.
503-515 BibTeX
- Xiao Zhou, Shin-Ichi Nakano, Hitoshi Suzuki, Takao Nishizeki:
An Efficient Algorithm for Edge-Coloring Series-Parallel Multigraphs.
516-529 BibTeX
- Michel Cosnard, Pascal Koiran, Hélène Paugam-Moisy:
Complexity Issues in Neural Network Computations.
530-543 BibTeX
Copyright © Sat May 16 23:28:31 2009
by Michael Ley (ley@uni-trier.de)