Login / Signup

A lower bound for the complexity of Craig's interpolants in sentential logic.

Daniele Mundici
Published in: Arch. Math. Log. (1983)
Keyphrases