Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings

Front Cover
Somenath Biswas, Kesav V. Nori
Springer Berlin Heidelberg, Nov 27, 1991 - Computers - 425 pages
This volume contains the proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science held in New Dehli, India December 17-19, 1991. Three invited papers and 25 contributed papers selected from 78 submissions by authors from many different countries reflect the current research concerns of the theoreticalcomputer science community. The topics covered include: -Algorithms (sequential, parallel and geometric) -Automata theory -Functional programming -Learning -Logic of programs -Semantics -Structural complexity theory -Type theory.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

INVITED PAPERS
1
Randomizing Reductions of Search Problems
10
H Karnick IIT Kanpur
25
Copyright

13 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information