Generalized constraint diagrams and the classical decision problem

Author: Burton Jim   Stapleton Gem   Howse John  

Publisher: Oxford University Press

ISSN: 1465-363X

Source: Journal of Logic and Computation, Vol.23, Iss.1, 2013-02, pp. : 199-262

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