000 05225nam a22005295i 4500
001 978-3-540-47012-0
003 DE-He213
005 20160624102019.0
007 cr nn 008mamaa
008 121227s1992 gw | s |||| 0|eng d
020 _a9783540470120
_9978-3-540-47012-0
024 7 _a10.1007/BFb0023811
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYZG
_2bicssc
072 7 _aCOM037000
_2bisacsh
082 0 4 _a004.0151
_223
245 1 0 _aLATIN '92
_h[electronic resource] :
_b1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings /
_cedited by Imre Simon.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1992.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1992.
300 _aXIII, 547 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v583
505 0 _aLinear 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 network expressions 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.
520 _aThis volume contains the proceedings of LATIN '92, a theoretical computer science symposium (Latin American Theoretical Informatics) held in S o Paulo, Brazil in April 1992. LATIN is intended to be a comprehensive symposium in the theory of computing, but for this first meeting the following areas were chosen for preferential coverage: algorithms and data structures, automata and formal languages, computability and complexity theory, computational geometry, cryptography, parallel and distributed computation, symbolic and algebraic computation, and combinatorial and algebraic aspects of computer science. The volume includesfull versions of the invited papers by 11 distinguished guest lecturers as well as 32 contributed papers selected from 66 submissions from authors with affiliations in 26 countries.
650 0 _aComputer science.
650 0 _aComputer software.
650 0 _aAlgebra
_xData processing.
650 0 _aCombinatorics.
650 1 4 _aComputer Science.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aCombinatorics.
650 2 4 _aSymbolic and Algebraic Manipulation.
700 1 _aSimon, Imre.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540552840
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v583
856 4 0 _uhttp://dx.doi.org/10.1007/BFb0023811
942 _2EBK5956
_cEBK
999 _c35250
_d35250