Automata theory and higher-order model-checking

Igor Walukiewicz. Automata theory and higher-order model-checking. SIGLOG News, 3(4):13-31, 2016. [doi]

Abstract

Abstract is missing.