Presburger Bchi Tree Automata with Applications to Logics with Expressive Counting.

Bartosz Bednarczyk, Oskar Fiuk

Browse the full WoLLIC paper archive.