Author： Esposito F. Ferilli S. Basile T. Mauro N.
Publisher： Springer Publishing Company
ISSN： 0219-1377
Source： Knowledge and Information Systems, Vol.11, Iss.2, 2007-02, pp. : 217-242
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
On arithmetical first-order theories allowing encoding and decoding of lists
Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. :
Access to resources
Recommend
Automated Refinement of First-Order Horn-Clause Domain Theories
Machine Learning, Vol. 19, Iss. 2, 1995-05 ,pp. :
Refining Numerical Constants in First Order Logic Theories
By Botta M.
Machine Learning, Vol. 38, Iss. 1-2, 2000-01 ,pp. :
Towards Lambda Calculus Order-Incompleteness
By Salibra A.
Electronic Notes in Theoretical Computer Science, Vol. 50, Iss. 2, 2004-01 ,pp. :