Conrad Cotton-Barratt
Identifiers
- name variant Conrad Cotton-Barratt 0.60 · backfill
Papers (2)
- Fragments of ML Decidable by Nested Data Class Memory Automata cs.PL · 2015 · author #1
- Weak and Nested Class Memory Automata cs.FL · 2014 · author #1
Mentions
- 1501.04511 #1 · backfill · confidence 0.70 Conrad Cotton-Barratt
- 1409.1136 #1 · backfill · confidence 0.70 Conrad Cotton-Barratt
Frequent Coauthors
- Andrzej Murawski 1 shared papers
- Andrzej S. Murawski 1 shared papers
- C.-H. Luke Ong 1 shared papers
- David Hopkins 1 shared papers
- Luke Ong 1 shared papers