Skip to main content
  • Conference proceedings
  • © 2002

LATIN 2002: Theoretical Informatics

5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2286)

Conference series link(s): LATIN: Latin American Symposium on Theoretical Informatics

Conference proceedings info: LATIN 2002.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (52 papers)

  1. Regular Contributions

    1. A Metric Index for Approximate String Matching

      • Edgar Chávez, Gonzalo Navarro
      Pages 181-195
    2. On the Power of BFS to Determine a Graphs Diameter

      • Derek G. Corneil, Feodor F. Dragan, Ekkehard Köhler
      Pages 209-223
    3. k-pseudosnakes in Large Grids

      • Martín Matamala, Erich Prisner, Ivan Rapaport
      Pages 224-235
    4. L(2, 1)-Coloring Matrogenic Graphs

      • Tiziana Calamoneri, Rossella Petreschi
      Pages 236-247
    5. Pipeline Transportation of Petroleum Products with No Due Dates

      • Ruy Luiz Milidiú, Artur Alves Pessoa, Eduardo Sany Laber
      Pages 248-262
    6. Ancestor Problems on Pure Pointer Machines

      • Enrico Pontelli, Desh Ranjan
      Pages 263-277
    7. Searching in Random Partially Ordered Sets

      • Renato Carmo, Jair Donadelli, Yoshiharu Kohayakawa, Eduardo Laber
      Pages 278-292
    8. Packing Arrays

      • Brett Stevens, Eric Mendelsohn
      Pages 293-305
    9. Generalized Shannon Code Minimizes the Maximal Redundancy

      • Michael Drmota, Wojciech Szpankowski
      Pages 306-318
    10. An Improved Algorithm for Sequence Comparison with Block Reversals

      • S. Muthukrishnan, S. Cenk Sahinalp
      Pages 319-325
    11. Improved Exact Algorithms for Max-Sat

      • Jianer Chen, Iyad A. Kanj
      Pages 341-355
    12. Characterising Strong Normalisation for Explicit Substitutions

      • Steffen van Bakel, Mariangiola Dezani-Ciancaglini
      Pages 356-370
    13. Parameters in Pure Type Systems

      • Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt
      Pages 371-385
    14. Category, Measure, Inductive Inference: A Triality Theorem and Its Applications

      • RÅ«siņš Freivalds, Carl H. Smith
      Pages 386-399
    15. Verification of Embedded Reactive Fiffo Systems

      • Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre
      Pages 400-414
    16. Electronic Jury Voting Protocols

      • Alejandro Hevia, Marcos Kiwi
      Pages 415-429
    17. Square Roots Modulo p

      • Gonzalo Tornaría
      Pages 430-434
    18. Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities

      • Goran Konjevod, Soohyun Oh, Andréa W. Richa
      Pages 435-450

Other Volumes

  1. LATIN 2002: Theoretical Informatics

About this book

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.

Editors and Affiliations

  • Compaq Cambridge Research Laboratory, One Cambridge Center, Cambridge, USA

    Sergio Rajsbaum

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access