Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1999

Foundations of Software Technology and Theoretical Computer Science

19th Conference, Chennai, India, December 13-15, 1999 Proceedings

Editors:

  1. C. Pandu Rangan

    1. Department of Computer Science and Engineering, Indian Institute of Technology, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. V. Raman

    1. Institute of Mathematical Sciences C.I.T. Campus, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. R. Ramanujam

    1. Institute of Mathematical Sciences C.I.T. Campus, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (36 papers)

  1. Session 6

    1. On the Undecidability of Some Sub-classical First-Order Logics

      • Matthias Baaz, Agata Ciabattoni, Christian Fermüller, Helmut Veith
      Pages 258-268

  2. Invited Talk 4

    1. How to Compute with DNA

      • Lila Kari, Mark Daley, Greg Gloor, Rani Siromoney, Laura F. Landweber
      Pages 269-282

  3. Session 7(a)

    2. Protecting Facets in Layered Manufacturing

      • Jörg Schwerdt, Michiel Smid, Ravi Janardan, Eric Johnson, Jayanth Majhi
      Pages 291-303

  4. Session 7(b)

    1. The Receptive Distributed π-Calculus

      • Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
      Pages 304-315

    2. Series and Parallel Operations on Pomsets

      • Zoltán Ésik, Satoshi Okawa
      Pages 316-328

  5. Session 8

  6. Invited Talk 5

  9. Session 10(a)

    1. The Non-recursive Power of Erroneous Computation

      • Christian Schindelhauer, Andreas Jakoby
      Pages 394-406

    2. Analysis of Quantum Functions

      • Tomoyuki Yamakami
      Pages 407-419

  10. Session 10(b)

    1. On Sets Growing Continuously

      • Bernhard Heinemann
      Pages 420-431

    2. Model Checking Knowledge and Time in Systems with Perfect Recall

      • Ron van der Meyden, Nikolay V. Shilov
      Pages 432-445

  11. FST&TCS — ISAAC Joint Session Talks

  12. Back Matter

    Pages 451-452
    PDF
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computer Science and Engineering, Indian Institute of Technology, Chennai, India

    C. Pandu Rangan

  • Institute of Mathematical Sciences C.I.T. Campus, Chennai, India

    V. Raman, R. Ramanujam

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Search

Navigation