Branching-Time Temporal Logic and Tree Automata

By Kupferman O.   Grumberg O.  

Information and Computation, Vol. 125, Iss. 1, 1996-02 ,pp. : 62-69

Academic Press

Access to resources Recommend Favorite

Uniform Infinite Planar Triangulation and Related Time-Reversed Critical Branching Process

By Krikun M.  

Journal of Mathematical Sciences, Vol. 131, Iss. 2, 2005-11 ,pp. : 5520-5537

Springer Publishing Company

Access to resources Recommend Favorite

Implicates and reduction techniques for temporal logics

By de Guzmán I.P.   Ojeda-Aciego M.   Valverde A.  

Annals of Mathematics and Artificial Intelligence, Vol. 27, Iss. 1-4, 1999-01 ,pp. : 3-23

Springer Publishing Company

Access to resources Recommend Favorite

A survey of temporal extensions of description logics

By Artale A.  

Annals of Mathematics and Artificial Intelligence, Vol. 30, Iss. 1-4, 2000-01 ,pp. : 171-210

Springer Publishing Company

Access to resources Recommend Favorite

Infinite-Horizon Stochastic Differential Games with Branching Payoffs

By Yeung D.W.K.  

Journal of Optimization Theory and Applications, Vol. 111, Iss. 2, 2001-11 ,pp. : 445-460

Springer Publishing Company

Access to resources Recommend Favorite