Author： Botta M.
Publisher： Springer Publishing Company
ISSN： 0885-6125
Source： Machine Learning, Vol.38, Iss.1-2, 2000-01, pp. : 109-131
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
A first order logic of effects
By Mason I.A.
Theoretical Computer Science, Vol. 185, Iss. 2, 1997-10 ,pp. :
Access to resources
Recommend
Design of abstract domains using first-order logic
By Marchiori E.
Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. :
The power of the ''always'' operator in first-order temporal logic
Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. :
Completeness of a first-order temporal logic with time-gaps
Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. :