Login / Signup

There is no recursive link between the k-size of a model and its cardinality.

R. Barker
Published in: Ann. Pure Appl. Log. (2002)
Keyphrases