Login / Signup

The Complexity of Circumscriptive Inference in Post's Lattice.

Michael Thomas
Published in: Theory Comput. Syst. (2012)
Keyphrases