12. FSTTCS 1992: New Delhi, India
R. K. Shyamasundar (Ed.):
Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings.
Lecture Notes in Computer Science 652 Springer 1992, ISBN 3-540-56287-7
Invited Talk I
- Amir Pnueli:
System Specification and Refinement in Temporal Logic.
1-38
Logic and Semantics
Computational Geometry
Complexity
Logic Programming
Formal Sofware Specification
Algorithms I
Invited Talk II
Concurrency
Algorithms II
Invited Talk III
- Kurt Mehlhorn:
Recent Developments in Algorithms for the Maximum-Flow Problem (Abstract).
404
Last update Fri May 25 08:14:27 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page