Dominic J. D. Hughes

Identifiers

• name variant Dominic J. D. Hughes 0.60 · backfill

Papers (5)

1. First-order proofs without syntax math.LO · 2019 · author #1
2. Unification nets: canonical proof net quantifiers math.LO · 2018 · author #1
3. Is Wolfram and Cook's (2,5) Turing machine really universal? cs.FL · 2012 · author #1
4. Linking diagrams for free math.CT · 2008 · author #1
5. Abstract p-time proof nets for MALL: Conflict nets math.LO · 2008 · author #1

Mentions

• 1208.6342 #1 · backfill · confidence 0.70 Dominic J. D. Hughes
• 0805.1441 #1 · backfill · confidence 0.70 Dominic J. D. Hughes
• 0801.2421 #1 · backfill · confidence 0.70 Dominic J. D. Hughes