Author： Arenas Marcelo
Publisher： Springer Publishing Company
ISSN： 1432-4350
Source： Theory of Computing Systems, Vol.49, Iss.2, 2011-08, pp. : 489-564
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
Containment of Conjunctive Queries on Annotated Relations
By Green Todd
Theory of Computing Systems, Vol. 49, Iss. 2, 2011-08 ,pp. :
Access to resources
Recommend
Query Learning of Regular Tree Languages: How to Avoid Dead States
By Drewes Frank
Theory of Computing Systems, Vol. 40, Iss. 2, 2007-02 ,pp. :
A conjunctive normal form for S3.5
The Journal of Symbolic Logic, Vol. 34, Iss. 2, 1969-07 ,pp. :
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS
Review of Symbolic Logic, Vol. 10, Iss. 1, 2016-10 ,pp. :