Journals A-Z
All Subjects
Free Journals
sciepub.com

1 results for Hard-determinable formula.

Parameters for your search query:
Keyword    Hard-determinable formula

Open AccessArticle
Export: RIS | BibTeX | EndNote
Polynomial Simulation and Refutation of Complex Formulas of Resolution over Linear Equations in Propositional Proof System
by Vishwa Nath Maurya and Avadhesh Kumar Maurya
American Journal of Modeling and Optimization. 2014, 2(1), 34-38. DOI: 10.12691/ajmo-2-1-5
Pub. Date: March 25, 2014Views: 15570Downloads: 11469
Resolution over linear equations Resolution systems Refutation Proof complexity Hard-determinable formula Polynomial simulation
Abstract Full Text PDF (170 KB) Full Text HTML Full Text ePUB (107 KB)
Results: sort by Relevance

Filter by

Date

Published between:

and

Subjects

Journals

Article Types