From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Good-for-Game QPTL: An Alternating Hodges Semantics., , , и . CoRR, (2021)Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts., , , , и . Theor. Comput. Sci., (2020)An Approach to Fuzzy Modal Logic of Time Intervals., , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 696-703. IOS Press, (2020)Complexity of Qualitative Timeline-Based Planning., , , и . TIME, том 178 из LIPIcs, стр. 16:1-16:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Undecidability of Interval Temporal Logics with the Overlap Modality., , , , и . TIME, стр. 88-95. IEEE Computer Society, (2009)The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border., , , , и . TIME, стр. 131-138. IEEE, (2011)A Decidable Spatial Generalization of Metric Interval Temporal Logic., , , , и . TIME, стр. 95-102. IEEE Computer Society, (2010)Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story., , и . PROLE, том 200 из EPTCS, стр. 48-63. (2015)Interval Temporal Logics: a Journey., , , и . Bull. EATCS, (2011)Fuzzy Halpern and Shoham's interval temporal logics., , , , и . Fuzzy Sets Syst., (марта 2023)