Conference
SOME RESULTS ON THE K-PROVABILITY PROBLEM
Authors
FARMER WM
Volume
53
Pagination
pp. 1003-1003
Publisher
ASSN SYMBOLIC LOGIC INC
Publication Date
September 1, 1988
Conference proceedings
JOURNAL OF SYMBOLIC LOGIC
Issue
3
ISSN
0022-4812
Experts has a new look! Let us know what you think of the updates.
Provide feedback