Description
Summary:Automata, Logic and Semantics
ISSN:1365-8050