Dialogue Games for Classical Logic.
Jesse Alama, Aleks Knoks, Sara L. Uckelman
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/AlamaKU11 ↗
Browse the full TABLEAUX paper archive.
Jesse Alama, Aleks Knoks, Sara L. Uckelman
Browse the full TABLEAUX paper archive.