Languages

A Structural Approach to Prophecy Variables

TitleA Structural Approach to Prophecy Variables
Publication TypeConference Paper
Year of Publication2012
AuthorsZhang Z, Feng X, Fu M, Shao Z, Li Y
Conference Name9th annual conference on Theory and Applications of Models of Computation
Date Published2012