The complexity of positive first-order logic without equality: The four-element case 1.0

Date Added: June 13, 2013 | Visits: 314

Report Broken Link
Printer Friendly Version

Product Homepage
Download (45 downloads)

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 have built the mex files by typing 'buildAll' in MATLAB. Once the mex code is built you can verify the pSpace claims using the script 'pSpaceMonoid's, the NP claims with 'npMonoids' and the co-NP with 'co_npMonoids'.

Requirements: No special requirements

Platforms: Matlab

Keyword: Buildall, Built, Ensure, Files, Matlab, Npmonoids, Pspacemonoid, Typing

Users rating: 0/10

License: Shareware

Size: 20.48 KB

USER REVIEWS

More Reviews or Write Review

THE COMPLEXITY OF POSITIVE FIRST-ORDER LOGIC WITHOUT EQUALITY: THE FOUR-ELEMENT CASE RELATED

Games - Spider Solitare 1.1 I didn't have a copy of Spider Solitare, so I built one in Matlab. Have fun and enjoy.Use the 'Game' menu to choose the level of difficulty (number of different suits). Click once on card you want to move and click on the column you wish to move...	10 KB
Teaching Tools - MaxType LITE Typing Tutor 1.6.15 MaxType LITE typing tutor is a free multifunctinal typing tester for Windows. This program allows you not only to test and practice your typing skills with any *.txt file, but to print out your test diplomas (statistical data will give you the...	2.28 MB
Development Tools - PID Controller Matlab Code 1.0 Most of the time we use Simulink to simulate a PID controller. But this files run it as a Matlab code.Extract the files to the working directory and just run the file PID_ctrl_call.m.You can vary the PID tuning parameters in the file pid_ctrl.m...	10 KB
Development Tools - Gwyddion File Importer 1.0 With this module you can import data fields of Gwyddion files into matlab.	10 KB
Development Tools - 5 ways to Solve IVP ODEs in MATLAB 1.0 Solving IVP ODEs using Symbolic MATH "dsolve", Laplace Transforms and MuPAD for analytic solutions and ODE45, ODE113 and Simulink for numeric solutions of the given 2nd order ODE is shown in this script.To execute the files PUT all 3 files in...	10 KB
Development Tools - xPC Target Wall Time 1.0 Unzip and place the files on your MATLAB path, mex xpcwalltime.c, open xpcwalltimelib then drag and drop the Wall Time block into your model to generate timestamps based on the current date and time.	20.48 KB
Multimedia - Get File and Put File that remembers last location 1.0 PutGetFile2 can be used to get and put files using matlab uigetfile and iputfile.Script provides memory files that remmbers the last location in which user used uigetfile and uiputfile seperatley.	10 KB
MP3 Tools - KinectCapture 1.0.1.0 KinectCapture is a powerful tool for recording, previewing, and exporting Microsoft Kinect sensor data. Record synchronized depth, color, skeleton, and audio streams from multiple Kinect sensors effortlessly. Then visualize the recorded data in a...	229.51 MB
Communication - Fiber modes 1.0 LP01.m, LP02.m, LP03m, LP11.m, LP12.m, LP13.m, LP21.m, LP22.m, LP31.m, LP41.m, LP51.m, LP61.m, LP71.m are the Matlab files that generate 2 and 3D images of the corresponding optical modes	10 KB
Development Tools - Beam and Truss Analysis utilities 1.0 2 utilities for solving the basic problems in statics- the one dimensional beam and plain truss. both receive model info as input (has to be built as a MATLAB file, see examples) and produce output results such as reactions values and internal...	61.44 KB

NEW DOWNLOADS IN SCRIPTS, DEVELOPMENT TOOLS

Scripts - Freelancer Script 5.05 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Post projects. Featured projects. Private projects. Sealed projects. Edit/delete projects. Select freelancers....	5.49 MB
Scripts - B2B Script 4.20 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Sign-up Account (Registration of account). Lead generation tools (for the sellers). Email verification to...	5.49 MB
Scripts - B2C Script 5.06 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). The script comes with totally editable site colors, icons and graphics Multilevel categories allows extensive browsing Admin can change Category ordering or...	5.49 MB
Scripts - Social Networking Script 2.86 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Registration with name, email, password, date of birth etc. User can add multiple school, college, university with start...	5.49 MB
Scripts - Business Networking Script 8.04 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Ajax based interface. Profile creation. Different types of profile. Profile for jobseekers, employers and employed...	5.49 MB
Development Tools - Aml2CHM 3.50 Those who use the popular Aml Pages text editor might be looking out for a way of generating help files from their text and notes. Aml2CHM is a plug-in that was developed to offer people a quick and efficient way of converting Aml Pages documents...	549.99 KB
Development Tools - VMP Viewer 1.0 This is a very rudimentary tool to visualize the VMP files generated by BrainVoyager. Useful to share files with people who do not have BV.	10 KB
Development Tools - Sending reports and timestamped file by emailing 1.0 main executing reference usage:[1] usage_send_mail.mIllustrates email sending with multiple separate files or single timestamped tar file. Attachment failure is properly handled, with continuation of report emailing without the attachment.[2]...	768 KB
Development Tools - IrisMVC 2.0 rc1 IrisMVC is an OOP PHP framework that developers can use as a strong and secure foundation to build on various web applications following the Model-View-Controller (MVC) pattern. It provides the basic functionality developers need, without...	51.2 KB
Development Tools - 7-Zip for Script 4.42 7-Zip is a file archiver with a high compression ratio.Features:- High compression ratio in new 7z format with LZMA compression- Supported formats:- Packing / unpacking: 7z, ZIP, GZIP, BZIP2 and TAR- Unpacking only: RAR, CAB, ISO, ARJ, LZH, CHM,...	624.64 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts