Discrete Mathematics & Theoretical Computer Science (Jan 2010)
Affiliations
Read online
Automata, Logic and Semantics