![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Mason I.A.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.185, Iss.2, 1997-10, pp. : 277-318
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Design of abstract domains using first-order logic
By Marchiori E.
Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Refining Numerical Constants in First Order Logic Theories
By Botta M.
Machine Learning, Vol. 38, Iss. 1-2, 2000-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
The power of the ''always'' operator in first-order temporal logic
Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Completeness of a first-order temporal logic with time-gaps
Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. :