Tilbage til artikeldetaljer
MONA: Monadic Second-Order Logic in Practice
Download
Download PDF