4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Conrad Cotton-Barratt, Andrzej Murawski, Luke Ong
Automata over infinite alphabets have recently come to be studied extensively as potentially useful tools for solving problems in verification and database theory. One popular mode…