rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: LATIN 2002: Theoretical Informatics
    sub title: 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings
  name:
    name part: Rajsbaum, Sergio.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2002
    edition: 1st ed. 2002.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIV, 638 p. online resource.
  abstract: This book constitutes the refereed proceedings of the 5th International Symposium, Latin American Theoretical Informatics, LATIN 2002, held in Cancun, Mexico, in April 2002. The 44 revised full papers presented together with a tutorial and 7 abstracts of invited contributions were carefully reviewed and selected from a total of 104 submissions. The papers presented are devoted to a broad range of topics from theoretical computer science and mathematical foundations, with a certain focus on algorithmics and computations related to discrete structures.
  table of contents: Invited Talks and Tutorials -- Phase Transitions in Computer Science -- The Internet, the Web, and Algorithms -- Erd?s Magic -- Open Problems in Computational Geometry -- Quantum Algorithms -- Testing and Checking of Finite State Systems -- From Algorithms to Cryptography Tutorial -- Dihomotopy as a Tool in State Space Analysis Tutorial -- Regular Contributions -- Algorithms for Local Alignment with Length Constraints* -- An Algorithm That Builds a Set of Strings Given Its Overlap Graph -- Conversion between Two Multiplicatively Dependent Linear Numeration Systems -- Star Height of Reversible Languages and Universal Automata -- Weakly Iterated Block Products of Finite Monoids -- The Hidden Number Problem in Extension Fields and Its Applications -- The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves -- Random Partitions with Non Negative rth Differences -- Beta-Expansions for Cubic Pisot Numbers -- Facility Location Constrained to a Polygonal Domain -- A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three -- A Metric Index for Approximate String Matching -- On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm -- On the Power of BFS to Determine a Graphs Diameter -- k-pseudosnakes in Large Grids -- L(2, 1)-Coloring Matrogenic Graphs -- Pipeline Transportation of Petroleum Products with No Due Dates -- Ancestor Problems on Pure Pointer Machines -- Searching in Random Partially Ordered Sets -- Packing Arrays -- Generalized Shannon Code Minimizes the Maximal Redundancy -- An Improved Algorithm for Sequence Comparison with Block Reversals -- Pattern Matching and Membership for Hierarchical Message Sequence Charts -- Improved Exact Algorithms for Max-Sat -- Characterising Strong Normalisation for Explicit Substitutions -- Parameters in Pure Type Systems -- Category, Measure, Inductive Inference: A Triality Theorem and Its Applications -- Verification of Embedded Reactive Fiffo Systems -- …
  note: edited by Sergio Rajsbaum.
  subject:
    topic: Computers
  subject:
    topic: Algorithms
  subject:
    topic: Computer science-Mathematics
  subject:
    topic: Data structures (Computer science)
  subject:
    topic: Computer graphics
  subject:
    topic: Data encryption (Computer science)
  subject:
    topic: Theory of Computation
  subject:
    topic: Algorithm Analysis and Problem Complexity
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Data Structures
  subject:
    topic: Computer Graphics
  subject:
    topic: Cryptology
  classification: QA75.5-76.95
  classification: QA76.63
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 2286
  identifier: 9783540459958
  identifier: https://doi.org/10.1007/3-540-45995-2
  record info:
    record creation date: 121227
    record change date: 20191027131944.0
    record identifier: 978-3-540-45995-8