On the reduction of the decision problem

Publisher： Cambridge University Press

E-ISSN： 1943-5886|12|3|65-73

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.12, Iss.3, 1947-09, pp. : 65-73

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

On the reduction of the decision problem. Third paper. Pepis prefix, a single binary predicate

By  

The Journal of Symbolic Logic, Vol. 15, Iss. 3, 1950-09 ,pp. : 161-173

Cambridge University Press

Access to resources Recommend Favorite

On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate

By  

The Journal of Symbolic Logic, Vol. 4, Iss. 1, 1939-03 ,pp. : 1-9

Cambridge University Press

Access to resources Recommend Favorite

The decision problem for standard classes

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. : 460-464

Cambridge University Press

Access to resources Recommend Favorite

A Reduction of the NF consistency Problem

By  

The Journal of Symbolic Logic, Vol. 72, Iss. 1, 2007-03 ,pp. : 285-304

Cambridge University Press

Access to resources Recommend Favorite

Decision problem for separated distributive lattices

By  

The Journal of Symbolic Logic, Vol. 48, Iss. 1, 1983-03 ,pp. : 193-196

Cambridge University Press

Access to resources Recommend Favorite