( en | de | ru )

 

Disambiguierung von "Hodkinson, Ian M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.

, , und . LICS, Seite 393-402. IEEE Computer Society, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Max Iann

Gheorghe Iancu

Nadia Ianeva

Enrico Iannone

Alen Ianni

 

Weitere Publikationen von Autoren mit dem selben Namen

Decidable fragment of first-order temporal logics., , und . Ann. Pure Appl. Log., 106 (1-3): 85-134 (2000)Using the Temporal Logic RDL for Design Specifications., , und . Concurrency: Theory, Language, And Architecture, Volume 491 von Lecture Notes in Computer Science, Seite 64-78. Springer, (1989)On Non-Local Propositional and Local One-Variable Quantified CTL*., , , und . TIME, Seite 2-9. IEEE Computer Society, (2002)Separation - Past, Present, and Future., und . We Will Show Them! (2), Seite 117-142. College Publications, (2005)Finite conformal hypergraph covers and Gaifman cliques in finite structures., und . Bull. Symb. Log., 9 (3): 387-407 (2003)Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T., , und . CSL, Volume 5213 von Lecture Notes in Computer Science, Seite 308-322. Springer, (2008)The k-variable property is stronger than H-dimension k., und . J. Philosophical Logic, 26 (1): 81-101 (1997)Spatial logic of modal mu-calculus and tangled closure operators., und . CoRR, (2016)Interval Temporal Logics with Chop-Like Operators.. TIME, Seite 6. IEEE Computer Society, (2010)A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder., und . Rev. Symb. Log., 3 (2): 247-261 (2010)