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

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

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

A semantic proof of strong cut-admissibility for first-order Gdel logic

By Lahav Ori   Avron Arnon  

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 59-86

Oxford University Press

Access to resources Recommend Favorite

Decidable verification for reducible timed automata specified in a first order logic with time

By Beauquier D.   Slissenko  

Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. : 347-388

Elsevier

Access to resources Recommend Favorite