Cover Image

Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings /

Show other versions (1)

This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST & TCS-14, held in Madras, India in December 1994. Besides the five invited papers by well-known researchers, it includes 31 full refereed rese...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Thiagarajan, P. S.
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1994]
Series:Lecture notes in computer science ; 880.
Subjects:
Computer software > Congresses.
algorithme réparti.
concurrence.
Complexité.
géométrie algorithmique.
programmation sous contrainte.
programmation en logique.
logique.
algorithmique.
algorithme parallèle.
reecriture.
théorie type.
informatique théorique.
Logiciels > Congrès.
Computer software.
Software Basico.
Teoria da computacao.
Informatique > Congrès.
Informatik.
Madras <1994>.
Electronic books.
Conference proceedings.
Madras (1994)
Online Access:Connect to the full text of this electronic book
Description
Summary:This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST & TCS-14, held in Madras, India in December 1994. Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency, unification, and discrete mathematics.
Item Description:Electronic resource.
Physical Description:1 online resource (xi, 449 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references and index.
ISBN:9783540490548 (electronic bk.)
354049054X (electronic bk.)