![Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 11th Conference, New Delhi, India December 17–19, 1991 Proceedings /](/search/themes/bootstrap3/images/libros.png)
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 11th Conference, New Delhi, India December 17–19, 1991 Proceedings /
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.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1991
|
| Subjects: | Computer science., Software engineering., Programming languages (Electronic computers)., Computers., Computer logic., Mathematical logic., Computer Science., Theory of Computation., Software Engineering/Programming and Operating Systems., Logics and Meanings of Programs., Computation by Abstract Devices., Programming Languages, Compilers, Interpreters., Mathematical Logic and Formal Languages., |
| Online Access: | http://dx.doi.org/10.1007/3-540-54967-6 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|