Login / Signup

Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture.

Stéphane Graham-Lengrand
Published in: TABLEAUX (2013)
Keyphrases