Publisher： Cambridge University Press
E-ISSN： 1469-8072|27|3|332-375
ISSN： 0960-1295
Source： Mathematical Structures in Computer Science, Vol.27, Iss.3, 2017-03, pp. : 332-375
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The Logic of the Physics of Information
Information, Vol. 5, Iss. 3, 2014-07 ,pp. :
Access to resources
Recommend
Angeletics and Logic in Reality
Information, Vol. 3, Iss. 4, 2012-11 ,pp. :
On the Predictability of Classical Propositional Logic
By Finger Marcelo Reis Poliana M.
Information, Vol. 4, Iss. 1, 2013-01 ,pp. :
Temporal logic programs with variables
Theory and Practice of Logic Programming, Vol. 17, Iss. 2, 2017-03 ,pp. :
Access to resources
Productive corecursion in logic programming
Theory and Practice of Logic Programming, Vol. 17, Iss. 5-6, 2017-09 ,pp. :