NP-Logic Systems and Model-Equivalence Reductions

ISSN： 1000-9000

Source： Journal of Computer Science and Technology, Vol.25, Iss.6, 2010-11, pp. : 1321-1326

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Inductive equivalence in clausal logic and nonmonotonic logic programming

By Sakama Chiaki Inoue Katsumi

Machine Learning, Vol. 83, Iss. 1, 2011-04 ,pp. : 1-29

Springer Publishing Company

Access to resources Recommend Favorite

P, NP, Co-NP and weak systems of arithmetic

By Sureson C.

Theoretical Computer Science, Vol. 154, Iss. 2, 1996-02 ,pp. : 145-163

Elsevier

Access to resources Recommend Favorite

Cryptographic limitations on parallelizing membership and equivalence queries with applications to random-self-reductions

By Fischlin

Theoretical Computer Science, Vol. 268, Iss. 2, 2001-10 ,pp. : 199-219

Elsevier

Access to resources Recommend Favorite

Program logic and equivalence in the presence of garbage collection

By Calcagno C. O'Hearn P. Bornat R.

Theoretical Computer Science, Vol. 298, Iss. 3, 2003-04 ,pp. : 557-581

Elsevier

Access to resources Recommend Favorite

On the longest perpetual reductions in orthogonal expression reduction systems

By Khasidashvili Z.

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 737-772

Elsevier

Access to resources Recommend Favorite