USER REVIEWS
The complexity of positive first-order logic without equality: The four-element case
This submission contains the code used to verify the claims made about pSpace, NP and co-NP classes in the four element case. The original paper that references these claims can be found at...
WRITE USER REVIEW