Sign in

Complexity of t-tautologies.

Matthias BaazPetr HájekFranco MontagnaHelmut Veith
Published in: Ann. Pure Appl. Log. (2001)
Keyphrases