Skip to main content

Automata−based presentations of infinite structures

Vince Barany‚ Erich Graedel and Sasha Rubin

Year
2010