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

Biswas, Somenath; Nori, Kesav V.

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.

Details

Published by: Springer

Publication Date: 1991-11-27

Format: Paperback

ISBN-13: 9783540549673

DOI: 10.1007/3-540-54967-6

Dimensions: 233.0cm x155.0cm

Pages: 425.0