Skip to content
cs-conference-ranking.org

A Tentative Atomic Calculus for Natural Deduction.

Tom Gundersen, Michel Parigot

VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/GundersenP11 ↗

Browse the full TABLEAUX paper archive.