Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Clare Dixon
Map detail
Clare Dixon4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipClare DixonAClare DixonResearcherA Resolution Prover for Coalition LogicWA Resolution Prover for...preprint / 2014Clausal Resolution for Modal Logics of ConfluenceWClausal Resolution for ...preprint / 2014A Corroborative Approach to Verification and Validation of Human--Robot TeamsWA Corroborative Approac...preprint / 2019
Person3 links

Clare Dixon

Researcher