Showing 1 - 3 results of 3 for search 'Cotton-Barratt, C', query time: 0.02s
Refine Results
-
1
Using Class Memory Automata in Algorithmic Game Semantics by Cotton-Barratt, C
Published 2016Thesis -
2
ML, visibly pushdown class memory automata, and extended branching vector addition systems with states by Cotton-Barratt, C, Murawski, A, Ong, C
Published 2019Journal article -
3
ML and Extended Branching VASS by Cotton-Barratt, C, Ong, C, Murawski, A
Published 2017Conference item