Manchester Metropolitan University

Identifiers

No identifiers captured yet.

Papers (1)

1. Clausal Temporal Resolution cs.LO · 1999 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• (2) Department of Computer Science 1 shared papers
• Clare Dixon (1) 1 shared papers
• Manchester 1 shared papers
• Martin Peim (2) ((1) Department of Computing 1 shared papers
• Mathematics 1 shared papers
• Michael Fisher (1) 1 shared papers
• UK 1 shared papers
• UK) 1 shared papers
• Victoria University of Manchester 1 shared papers