Zoekresultaten
Resultaat 1 - 1 (van 1)
Amélie Gheerbrant | Balder ten Cate Complete axiomatizations of MSO, FO(TC1), FO(LFP1) on finite trees
Non-fictie
Engels | 43 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek