( en | de | ru )

 

Disambiguation of "Hampson, Christopher"

Author of the publication

copydeleteadd this publication to your clipboard
The Bimodal Logic of Commuting Difference Operators Is Decidable.

. Advances in Modal Logic, page 311-326. College Publications, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

Christopher Hampson

Denise Hampson

Christopher Christopher

Jörg Christopher

Christopher Schumacher

 

Other publications of authors with the same name

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