Buch, Englisch, Band 583, 547 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1720 g
1st Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, April 6-10, 1992. Proceedings
Buch, Englisch, Band 583, 547 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1720 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-55284-0
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Linear time algorithms for liveness and boundedness in conflict-free Petri nets.- q-Regular sequences and other generalizations of q-automatic sequences.- Complex polynomials and circuit lower bounds for modular counting.- A decidability result about convex polyominoes.- Edge insertion for optimal triangulations.- Simulating permutation networks on hypercubes.- Universal statistical tests.- Automata and pattern matching in planar directed acyclic graphs.- Regular expressions into finite automata.- Automata and codes with bounded deciphering delay.- Parallel complexity of heaps and min-max heaps.- On the complexity of some problems for the Blum, Shub & Smale model.- Average case analysis of a greedy algorithm for the minimum hitting set problem.- Achieving optimality for gate matrix layout and PLA folding: A graph theoretic approach.- How to write integers in non-integer base.- A simple randomized parallel algorithm for maximal f-matchings.- On the number of components of a recursive graph.- Factoring in skew-polynomial rings.- Leaders election without conflict resolution rule.- Dynamics of sand-piles games on graphs.- Rational function decomposition and Gröbner bases in the parameterization of plane curves.- The double reconstruction conjectures about colored hypergraphs and colored directed graphs.- Locally definable acceptance types — The three-valued case.- On the computation of the Hilbert series.- A distributed algorithm for finding all maximal cliques in a network graph.- Polynomial factorization 1987–1991.- Properties of recognizable $$\mathcal{M}$$ -subsets of a free monoid.- On the Burnside semigroups x n = x n+m.- Massively parallel computing and factoring.- Some regularity conditions based on well quasi-orders.- Approximate matching of networkexpressions with spacers.- Unambiguous simulations of auxiliary pushdown automata and circuits.- On reversible automata.- Even induced cycles in planar graphs.- Arithmetic + logic + geometry = concurrency.- On the density and core of the complexity classes.- The “last” decision problem for rational trace languages.- Improved bounds for mixing rates of Markov chains and multicommodity flow.- Data structures and terminating Petri nets.- Circuits constructed with MOD q gates cannot compute AND in sublinear size.- Decomposing a k-valued transducer into k unambiguous ones.- An efficient algorithm for edge-coloring series parallel multigraphs.- Complexity issues in neural network computations.
