Complexity of sufficient-completeness

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-17179-7_26 ◽

1986 ◽

pp. 426-442 ◽

Author(s):

Deepak Kapur ◽

Paliath Narendran ◽

Hantao Zhang

Download Full-text