`Travelled to:`

1 × Austria

1 × Canada

1 × Germany

1 × USA

`Collaborated with:`

U.Hustadt C.Nalon ∅ J.Marcos L.Zhang A.Ozaki M.S.Khan F.Coenen S.El-Salhi

`Talks about:`

resolut (4) logic (3) tempor (2) increment (1) confluenc (1) strategi (1) multimod (1) calculus (1) asymmetr (1) theorem (1)

## Person: Clare Dixon

### DBLP: Dixon:Clare

### Contributed to:

### Wrote 6 papers:

- IJCAR-2014-NalonMD #confluence #logic
- Clausal Resolution for Modal Logics of Confluence (CN, JM, CD), pp. 322–336.
- MLDM-2012-KhanCDE #3d #case study #correlation #incremental #symmetry
- Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming (MSK, FC, CD, SES), pp. 366–379.
- CADE-2009-ZhangHD #calculus
- A Refined Resolution Calculus for CTL (LZ, UH, CD), pp. 245–260.
- CADE-1996-Dixon #logic
- Search Strategies for Resolution in Temporal Logics (CD), pp. 673–687.
- IJCAR-2016-NalonHD #multimodal #proving
- : A Resolution-Based Prover for Multimodal K (CN, UH, CD), pp. 406–415.
- CADE-2017-HustadtOD #logic #metric #proving #theorem proving
- Theorem Proving for Metric Temporal Logic over the Naturals (UH, AO, CD), pp. 326–343.