Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 50.479.899 Times

Npmonoids software
 

Npmonoids

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 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

Home  | About Us  | Privacy  | Disclaimer  | Link to Us  | Contact Us  | Top Searches  | Submit Software  | Submit Site  | Percentage Calculator  | Text Compare
File Transit © 1998-2024