Login / Signup

Dominance constraints with Boolean connectives: a model-eliminative treatment.

Denys Duchier
Published in: Theor. Comput. Sci. (2003)
Keyphrases