11. FSTTCS 1991: New Delhi, India
Somenath Biswas, Kesav V. Nori (Eds.):
Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings.
Lecture Notes in Computer Science 560 Springer 1991, ISBN 3-540-54967-6
Term Rewriting, Type Theory
R. K. Shyamasundar
Last update Fri May 24 02:35:22 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Glynn Winskel:
Petri Nets and Transition Systems (Abstract for an invited talk).