Author： Halpern J.Y.
Publisher： Springer Publishing Company
ISSN： 1012-2443
Source： Annals of Mathematics and Artificial Intelligence, Vol.26, Iss.1-4, 1999-01, pp. : 1-27
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
Δ: Set-theoretic query language capturing LOGSPACE
By Leontjev A.
Annals of Mathematics and Artificial Intelligence, Vol. 33, Iss. 2-4, 2001-12 ,pp. :
Access to resources
Recommend
Extension Theory: the interface between set-theoretic and algebraic topology
By Dydak J.
Topology and its Applications, Vol. 74, Iss. 1, 1996-12 ,pp. :
By Bruno Escoffier Vangelis Paschos
International Journal of Computer Mathematics, Vol. 82, Iss. 2, 2005-02 ,pp. :
Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence, Vol. 27, Iss. 1-4, 1999-01 ,pp. :