The Complexity of Set Constraints

Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers. The Complexity of Set Constraints. In Egon Börger, Yuri Gurevich, Karl Meinke, editors, Computer Science Logic, 7th Workshop, CSL 93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers. Volume 832 of Lecture Notes in Computer Science, pages 1-17, Springer, 1993.

Abstract

Abstract is missing.