( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.

, , , , и . CoRR, (2023)

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.

Helmut Raulf

Hartwig Rauleder

Monika Raulf

Gitta Raulin

Gerhard Rauls

 

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

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy., и . FoSSaCS, том 13242 из Lecture Notes in Computer Science, стр. 305-324. Springer, (2022)The power of modal separation logics., и . J. Log. Comput., 29 (8): 1139-1184 (2019)Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq., , и . DaLí, том 12005 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2019)On Composing Finite Forests with Modal Logics., , , и . ACM Trans. Comput. Log., 24 (2): 12:1-12:46 (апреля 2023)Axiomatizations for downward XPath on Data Trees., , , и . CoRR, (2016)Algebraic tools for default modal systems., , , и . J. Log. Comput., 33 (6): 1301-1325 (августа 2023)Verification of dynamic bisimulation theorems in Coq., , и . J. Log. Algebraic Methods Program., (2021)Beyond the Spell: A Dynamic Logic Analysis of Misdirection., и . CoRR, (2024)Non-monotonic Reasoning via Dynamic Consequence., , и . WoLLIC, том 13468 из Lecture Notes in Computer Science, стр. 395-410. Springer, (2022)A Deontic Logic of Knowingly Complying., , , , и . AAMAS, стр. 364-372. ACM, (2023)