Buildall software
Buildall
Added: June 13, 2013 | Visits: 319
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 http://drops.dagstuhl.de/opus/volltexte/20....Paper.2367.pdf.To run the verification first ensure that you...
Platforms: Matlab
License: Shareware | Cost: $0.00 USD | Size: 20.48 KB | Download (45): The complexity of positive first-order logic without equality: The four-element case Download |