FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings /

This book constitutes the refereed proceedings of the 20th international Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2000, held in New Delhi, India in December 2000. The 36 revised full papers presented were carefully reviewed and selected from a total...

Full description

Bibliographic Details
Corporate Authors: Conference on Foundations of Software Technology and Theoretical Computer Science New Delhi, India, SpringerLink (Online service)
Other Authors: Kapoor, Sanjiv, 1959-, Prasad, Sanjiva
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, 2000.
Series:Lecture notes in computer science ; 1974.
Subjects:
Online Access:Connect to the full text of this electronic book
Description
Summary:This book constitutes the refereed proceedings of the 20th international Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2000, held in New Delhi, India in December 2000. The 36 revised full papers presented were carefully reviewed and selected from a total of 141 submissions; also included are six invited papers. The volume provides broad coverage of the logical and mathematical foundations of computer science and spans the whole range of theoretical computer science.
Item Description:"Online publication: November 24, 2000."
Title from title screen.
Available electronically in PDF format to subscribers to Link, the information service of Springer Verlag.
Electronic resource.
Physical Description:1 online resource (xiii, 532 pages) : illustrations.
Bibliography:Includes bibliographical references and author index.
ISBN:9783540444503
3540444505