Ir al contenido

Documat

Resumen de A family of temporal logics on finite trees

Zoltán Esik, Iván Szabolcs

  • Year: 2010 Vol.: 77 Fasc.: 3-4 Title: A family of temporal logics on ¯nite trees Author(s): Zolt¶an ¶Esik and Szabolcs Iv¶an 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).

    Address:

    Zolt¶an ¶Esik Department of Computer Science University of Szeged Hungary Address:

    Szabolcs Iv¶an Department of Computer Science University

Fundación Dialnet

Mi Documat