Skip to main content
SpringerLink
Log in

Foundations of Software Technology and Theoretical Computer Science

13th Conference, Bombay, India, December 15-17, 1993. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Rudrapatna K. Shyamasundar
    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 761)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (38 papers)

  1. Front Matter

    Download chapter PDF

  2. Some observations about the nature of computer science

    • Juris Hartmanis
    Pages 1-12

  3. Essential intersection type assignment

    • Steffen van Bakel
    Pages 13-23

  4. Label-selective λ-calculus syntax and confluence

    • Hassan Aït-Kaci, Jacques Garrigue
    Pages 24-40

  5. Conventional and uniqueness typing in graph rewrite systems

    • Erik Barendsen, Sjaak Smetsers
    Pages 41-51

  6. A meta-language for typed object-oriented languages

    • Giuseppe Castagna
    Pages 52-71

  7. Preemption in concurrent systems

    • Gérard Berry
    Pages 72-93

  8. Local versus non-local computation of length of digitized curves

    • S. R. Kulkarni, S. K. Mitter, T. J. Richardson, J. N. Tsitsiklis
    Pages 94-103

  9. Data-independences of parallel random access machines

    • Klaus-Jörn Lange, Rolf Niedermeier
    Pages 104-113

  10. Proving termination of logic programs by transforming them into equivalent term rewriting systems

    • G. Aguzzi, U. Modigliani
    Pages 114-124

  11. Completeness of hierarchical combinations of term rewriting systems

    • M. R. K. Krishna Rao
    Pages 125-138

  12. Higher-order and semantic unification

    • Nachum Dershowitz, Subrata Mitra
    Pages 139-150

  13. A conservative extension of first-order logic and its applications to theorem proving

    • David Basin, Seán Matthews
    Pages 151-160

  14. Well-founded Ordered Search (extended abstract)

    • Peter J. Stuckey, S. Sudarshan
    Pages 161-171

  15. A real-time interval logic and its decision procedure

    • Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith, G Kutty
    Pages 173-192

  16. On the semantics of optimization predicates in CLP languages

    • François Fages
    Pages 193-204

  17. Incremental algorithms for constraint solving and entailment over rational trees

    • Viswanath Ramachandran, Pascal van Hentenryck
    Pages 205-217

  18. Proximity problems and the Voronoi diagram on a rectilinear plane with rectangular obstacles

    • Sumanta Guha, Ichiro Suzuki
    Pages 218-227

  19. Feasibility of design in stereolithography

    • B. Asberg, G. Blanco, P. Bose, J. Garcia-Lopez, M. Overmars, G. Toussaint et al.
    Pages 228-237

  20. Compact location problems

    • Venkatesh Radhakrishnan, Sven O. Krumke, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi
    Pages 238-247
Back to top

Keywords

About this book

For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year, 119 papers from 20 countries were submitted. Each paper was reviewed by at least three reviewers, and 33 papers were selected for presentation and included in this volume, grouped into parts on type theory, parallel algorithms, term rewriting, logic and constraint logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms, and algorithms and learning theory. Also included in the volume are the five invited papers presented at theconference.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation