1
Udgivet 2008
Indholdsfortegnelse: ... and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure...
Få fuldtekst
Electronisk eBog