( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.

, , , и . CoRR, (2019)

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.

Christopher Hampson

Denise Hampson

Christopher Christopher

Jörg Christopher

Christopher Müller

 

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

Decidable fragments of first-order modal logics with counting quantifiers over varying domains.. CoRR, (2018)Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations., , , и . CoRR, (2019)Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations., , , и . Ann. Pure Appl. Log., 171 (5): 102786 (2020)A Sound and Complete Dialogue System for Handling Misunderstandings., , , и . SAFA@COMMA, том 3236 из CEUR Workshop Proceedings, стр. 19-32. CEUR-WS.org, (2022)Enthymemes in Dialogues., , , и . COMMA, том 326 из Frontiers in Artificial Intelligence and Applications, стр. 395-402. IOS Press, (2020)Maximal degenerate palindromes with gaps and mismatches., , , , , , и . Theor. Comput. Sci., (ноября 2023)Local Maximal Equality-Free Periodicities., , , , , и . AIAI Workshops, том 677 из IFIP Advances in Information and Communication Technology, стр. 359-368. Springer, (2023)On the Termination Problem for Counter Machines with Incrementing Errors.. RP, том 11674 из Lecture Notes in Computer Science, стр. 137-148. Springer, (2019)The Bimodal Logic of Commuting Difference Operators Is Decidable.. Advances in Modal Logic, стр. 311-326. College Publications, (2018)On the termination and structural termination problems for counter machines with incrementing errors.. J. Comput. Syst. Sci., (2021)