Find a copy in the library
Finding libraries that hold this item...
|All Authors / Contributors:||
Marianne Baudinet; Stanford University. Computer Science Department.
"This research was supported by the National Science Foundation under Grants DCR-84-13230 and DCR-86-11272, by the Defense Advanced Research Projects Agency under Contract N00039-84-C-0211, and by the United States Air Force Office of Scientific Research under Contract AFOSR-87-0149"--Page 1.
"To appear in the Proceedings of the Symposium on Logic in Computer Science, IEEE, Edinburgh, Scotland, July 1988"--Page 1.
|Description:||13 pages ; 28 cm.|
|Series Title:||Report (Stanford University. Computer Science Department), no. STAN-CS-88-1202.|