LATIN '95: Theoretical Informatics (Record no. 36000)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 05037nam a22005415i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540492207 |
-- | 978-3-540-49220-7 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.0151 |
245 10 - TITLE STATEMENT | |
Title | LATIN '95: Theoretical Informatics |
Sub Title | Second Latin American Symposium Valparaíso, Chile, April 3–7, 1995 Proceedings / |
Statement of responsibility, etc | edited by Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1995. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | IX, 530 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Visibility graphs of 2-spiral polygons (Extended abstract) -- Random generation of colored trees -- Space filling curves and their use in the design of geometric data structures -- Tight bounds for finding degrees from the adjacency matrix -- Lower bounds for modular counting by circuits with modular gates -- On the relation between BDDs and FDDs -- On dynamical properties of generalized toggle automata -- Free shuffle algebras in language varieties extended abstract -- Lower bounds for the matrix chain ordering problem -- Off-line electronic cash based on secret-key certificates -- Recognizable sets of numbers in nonstandard bases -- On weak growing context-sensitive grammars -- Logic of plotkin continuous domain -- (Probabilistic) recurrence relations revisited -- On linear-time alphabet-independent 2-dimensional pattern matching -- Reversible cellular automaton able to simulate any other reversible one using partitioning automata -- Nearest neighbour graph realizability is NP-hard -- Linear-time algorithms for parametric minimum spanning tree problems on planar graphs -- Paging more than one page -- On edge-colouring indifference graphs -- On the approximability of some maximum spanning tree problems -- Gauss periods and fast exponentiation in finite fields -- Unbounded search and recursive graph problems -- On the complexity of computing the greatest common divisor of several univariate polynomials -- State complexity of SBTA languages -- Pushdown automata with bounded nondeterminism and bounded ambiguity -- Multihead two-way probabilistic finite automata -- Non-erasing turing machines: A new frontier between a decidable halting problem and universality -- Cyclic automata networks on finite graphs -- Multiple alignment of biological sequences with gap flexibility -- Lower bounds for the modular communication complexity of various graph accessibility problems -- On monotonous oracle machines -- On using learning automata for fast graph partitioning -- Solution of a problem of yekutieli and mandelbrot -- A rewrite approach for constraint logic programming -- Simulations between cellular automata on cayley graphs -- A temporal logic for real-time partial-ordering with named transactions -- A new approach for routing in arrangement graphs and its performance evaluation. |
520 ## - SUMMARY, ETC. | |
Summary, etc | This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995. The LATIN symposia are intended to be comprehensive events on the theory of computing; they provide a high-level forum for theoretical computer science research in Latin America and facilitate a strong and healthy interaction with the international community. The 38 papers presented in this volume were carefully selected from 68 submissions. Despite the intended broad coverage there are quite a number of papers devoted to computational graph theory; other topics strongly represented are complexity, automata theory, networks, symbolic computation, formal languages, data structures, and pattern matching. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer software. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logic design. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Combinatorics. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computation by Abstract Devices. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Algorithm Analysis and Problem Complexity. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Combinatorics. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Baeza-Yates, Ricardo. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Goles, Eric. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Poblete, Patricio V. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-59175-3 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1995. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK6706 | http://dx.doi.org/10.1007/3-540-59175-3 | E-BOOKS |