Skip to content
cs-conference-ranking.org

Towards a Proof Theory for Basic Logic.

Thomas Vetterlein

VenueCIFSA
Year2007
ProceedingsIFSA (2)
DBLP recordconf/ifsa/Vetterlein07 ↗

Browse the full IFSA paper archive.