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

Foundations of Software Technology and Theoretical Computer Science

11th Conference, New Delhi, India, December 17-19, 1991. Proceedings

herausgegeben von Somenath Biswas und Kesav V. Nori
Mitwirkende
Herausgegeben vonSomenath Biswas
Herausgegeben vonKesav V. Nori
Buchcover Foundations of Software Technology and Theoretical Computer Science  | EAN 9783540549673 | ISBN 3-540-54967-6 | ISBN 978-3-540-54967-3

Foundations of Software Technology and Theoretical Computer Science

11th Conference, New Delhi, India, December 17-19, 1991. Proceedings

herausgegeben von Somenath Biswas und Kesav V. Nori
Mitwirkende
Herausgegeben vonSomenath Biswas
Herausgegeben vonKesav V. Nori
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.