Foundations of Software Technology and Theoretical Computer Science : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings

>> Google Books

Foundations of Software Technology and Theoretical Computer Science : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings / edited by Vijay Chandru, V. Vinay

Edition:

1st ed. 1996

Format:

eBook

Description:

XIII, 395 p.

Series:

Lecture Notes in Computer Science ; 1180

Authors:

ISBN:

9783540496311 [3540496319]
9783662206706 [3662206706]
9783540620341 [3540620346]

NCID:

EB00003206

Holding items in this series

Full Text

Holdings

Bibliography Details

Note:

This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996. The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.

Subject:

Algorithms; Computer Graphics; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Theory of Computation

Table of Contents:

Tokyo Tech Book Review

Similar Items:

1 eBook Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings Thiagarajan, P.S., SpringerLink (Online service)	7 eBook Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings Nori, Kesav V., Kumar, Sanjeev., SpringerLink (Online service)
2 eBook Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings Shyamasundar, Rudrapatna., SpringerLink (Online service)	8 eBook Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings Biswas, Somenath., Nori, Kesav V., SpringerLink (Online service)
3 eBook FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings Hariharan, Ramesh., Mukund, Madhavan., Vinay, V., SpringerLink (Online service)	9 eBook Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings Nori, Kesav V., Veni Madhavan, C.E., SpringerLink (Online service)
4 eBook Foundations of Software Technology and Theoretical Computer Science : 15th Conference; Bangalore, India, December 1995. Proceedings Thiagarajan, P.S., SpringerLink (Online service)	10 eBook FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings Agrawal, Manindra., Seth, Anil., SpringerLink (Online service)
5 eBook Foundations of Software Technology and Theoretical Computer Science : 13th Conference, Bombay, India, December 15-17, 1993. Proceedings Shyamasundar, Rudrapatna K., SpringerLink (Online service)	11 eBook Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings Veni Madhavan, Conjeevaram E., SpringerLink (Online service)
6 eBook FST TCS 2000: Foundations of Software Technology and Theoretical Science : 20th Conference, New Delhi, India, December13-15, 2000 Proceedings Kapoor, Sanjiv., Prasad, Sanjiva., SpringerLink (Online service)	12 Book Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Chandru, Vijay, Vinay, V. Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12