Christopher Hampson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
MUL-tree pruning for consistency and compatibility Algorithmica	2026-07-31	Paper
MUL-tree pruning for consistency and compatibility	2024-10-21	Paper
Maximal degenerate palindromes with gaps and mismatches Theoretical Computer Science	2023-10-12	Paper
Towards a sound and complete dialogue system for handling enthymemes	2023-03-31	Paper
On the termination and structural termination problems for counter machines with incrementing errors Journal of Computer and System Sciences	2021-06-30	Paper
Enthymemes in dialogues	2021-01-21	Paper
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations Annals of Pure and Applied Logic	2020-03-12	Paper
On the termination problem for counter machines with incrementing errors	2019-10-22	Paper
The bimodal logic of commuting difference operators is decidable	2019-07-24	Paper
Decidable first-order modal logics with counting quantifiers	2018-04-23	Paper
One-variable first-order linear temporal logics with counting	2017-02-02	Paper
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting ACM Transactions on Computational Logic	2017-01-30	Paper
The decision problem of modal product logics with a diagonal, and faulty counter machines Studia Logica	2016-06-14	Paper
On modal products with the logic of `elsewhere'	2014-06-11	Paper

Research outcomes over time

This page was built for person: Christopher Hampson