32 citations · 61 across the 17 of their papers we have counts for
1 paper · 2 filters
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…