A clausal resolution method for branching-time logic ECTL⁺

By Bolotov Alexander   Basukoski Artie  

Annals of Mathematics and Artificial Intelligence, Vol. 46, Iss. 3, 2006-03 ,pp. : 235-263

Springer Publishing Company

Access to resources Recommend Favorite

Tableau-based automata construction for dynamic linear time temporal logic*

By Giordano Laura  

Annals of Mathematics and Artificial Intelligence, Vol. 46, Iss. 3, 2006-03 ,pp. : 289-315

Springer Publishing Company

Access to resources Recommend Favorite

XML schema, tree logic and sheaves automata

By Zilio Silvano   Lugiez Denis  

Applicable Algebra in Engineering, Communication and Computing, Vol. 17, Iss. 5, 2006-10 ,pp. : 337-377

Springer Publishing Company

Access to resources Recommend Favorite

An Infinite Hierarchy of Temporal Logics over Branching Time

By Rabinovich A.   Maoz S.  

Information and Computation, Vol. 171, Iss. 2, 2001-12 ,pp. : 306-332

Academic Press

Access to resources Recommend Favorite

A Partial Order Approach to Branching Time Logic Model Checking

By Gerth R.   Kuiper R.   Peled D.   Penczek W.  

Information and Computation, Vol. 150, Iss. 2, 1999-05 ,pp. : 132-152

Academic Press

Access to resources Recommend Favorite