Recursive coloration of countable graphs.

Hans Georg CarstensPeter Päppinghaus
Published in: Ann. Pure Appl. Log. (1983)
Keyphrases