We associate a temporal logic XTL(L) with each class L of (regular) tree languages and provide both an algebraic and a game-theoretic characterization of the expressive power of the logic XTL(L).
科研之友
微信
新浪微博
Facebook
分享链接
