2 citations · 6 across the 9 of their papers we have counts for
1 paper · 1 filter
Samson Abramsky, Nihil Shah
Combinatorial games are widely used in finite model theory, constraint satisfaction, modal logic and concurrency theory to characterize logical equivalences between structures. In…