Login / Signup

Implementation of Proof Search in the Imperative Programming Language Pizza.

Christian Urban
Published in: TABLEAUX (1998)
Keyphrases