James Hales

Identifiers

• name variant James Hales 0.60 · backfill

Papers (2)

1. A composable language for action models cs.LO · 2014 · author #2
2. Refinement Modal Logic cs.LO · 2012 · author #4

Mentions

• 1406.2103 #2 · backfill · confidence 0.70 James Hales
• 1202.3538 #4 · backfill · confidence 0.70 James Hales

Frequent Coauthors

• Tim French 2 shared papers
• Edwin Tay 1 shared papers
• Hans van Ditmarsch 1 shared papers
• Laura Bozzelli 1 shared papers
• Sophie Pinchinat 1 shared papers