Design of abstract domains using first-order logic

By Marchiori E.  

Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. : 153-179

Elsevier

Access to resources Recommend Favorite

Refining Numerical Constants in First Order Logic Theories

By Botta M.  

Machine Learning, Vol. 38, Iss. 1-2, 2000-01 ,pp. : 109-131

Springer Publishing Company

Access to resources Recommend Favorite

The power of the ''always'' operator in first-order temporal logic

By Kaminski M.   Chung K.W.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 271-281

Elsevier

Access to resources Recommend Favorite

Completeness of a first-order temporal logic with time-gaps

By Baaz M.   Leitsch A.   Zach R.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 241-270

Elsevier

Access to resources Recommend Favorite

From first-order logic to automated word generation for Lyee

By Amon B.   Ekenberg L.   Johannesson P.   Munguanaze M.   Njabili U.   Manka Tesha R.  

Knowledge-Based Systems, Vol. 16, Iss. 7, 2003-11 ,pp. : 413-429

Elsevier

Access to resources Recommend Favorite