Find a copy in the library
Finding libraries that hold this item...
|All Authors / Contributors:||
Albert R Meyer; Stavros S Cosmadakis
"This ... is a slightly revised version of a paper in the Proceedings 3rd IEEE Symposium on Logic in Computer Science, Edinburgh, Scotland, July 1988."
|Description:||20 pages ; 28 cm.|
|Series Title:||MIT/LCS/TM, 353.|
|Responsibility:||Albert R. Meyer ; with two appendices by Stavros S. Cosmadakis.|