John C. McCabe-Dansted

Identifiers

• name variant John C. McCabe-Dansted 0.60 · backfill

Papers (3)

1. A Parallel Linear Temporal Logic Tableau cs.LO · 2017 · author #1
2. Specifying Robustness cs.LO · 2013 · author #1
3. Dodgson's Rule Approximations and Absurdity math.CO · 2010 · author #1

Mentions

• 1309.4416 #1 · backfill · confidence 0.70 John C. McCabe-Dansted
• 1008.1501 #1 · backfill · confidence 0.70 John C. McCabe-Dansted

Frequent Coauthors

• Mark Reynolds 1 shared papers
• Mark Reynolds (The University of Western Australia) 1 shared papers
• Sophie Pinchinat 1 shared papers
• Tim French 1 shared papers