This VIAF Cluster has been deleted. It is no longer part of VIAF.
Kozen, Dexter, 1951-. | Tenth Annual IEEE Symposium on Logic in Computer Science proceedings, June 26-29, 1995, San Diego, California
VIAF ID: 314270166 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314270166
Preferred Forms
4xx's: Alternate Name Forms (1)
Selected Titles
Author
:
Kozen, Dexter C.,