The following pages link to Christopher Hampson (Q295917):
Displaying 13 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- On the termination and structural termination problems for counter machines with incrementing errors (Q2037198) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- On the termination problem for counter machines with incrementing errors (Q2330597) (← links)
- Towards a sound and complete dialogue system for handling enthymemes (Q2695533) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- One-variable first-order linear temporal logics with counting (Q2958532) (← links)
- (Q4636045) (← links)
- (Q5145822) (← links)
- (Q5224573) (← links)
- (Q5419887) (← links)
- Maximal degenerate palindromes with gaps and mismatches (Q6073887) (← links)
- MUL-tree pruning for consistency and compatibility (Q6622020) (← links)