Skip to main content

Foundations of Software Technology and Theoretical Computer Science

15th Conference; Bangalore, India, December 1995. Proceedings

  • Conference proceedings
  • © 1995

Overview

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

Included in the following conference series:

Conference proceedings info: FSTTCS 1995.

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

Access this book

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

About this book

This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995.
The volume presents 31 full revised research papers selected from a total of 106 submissions together with full papers of four invited talks. Among the topics covered are algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory.

Similar content being viewed by others

Keywords

Table of contents (35 papers)

Other volumes

  1. Foundations of Software Technology and Theoretical Computer Science

Bibliographic Information

Publish with us