DS-2015-05: Facundo Carreiro Fragments of Fixpoint Logics: Automata and Expressiveness 1.Full Text, 2.Abstract, 3.Samenvatting. < Back
