Author: Avron Arnon
Publisher: Springer Publishing Company
ISSN: 1661-8297
Source: Logica Universalis, Vol.8, Iss.1, 2014-03, pp. : 1-15
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Classical Yang–Baxter Equation and the
Advances in Mathematics, Vol. 168, Iss. 1, 2002-06 ,pp. :
Backtracking and random constraint satisfaction
By Purdom P.W.
Annals of Mathematics and Artificial Intelligence, Vol. 20, Iss. 1-4, 1997-01 ,pp. :
A Timed Concurrent Constraint Language
By de Boer F.S. Gabbrielli M. Meo M.C.
Information and Computation, Vol. 161, Iss. 1, 2000-08 ,pp. :