Generating Schemata of Resolution Proofs.
Vincent Aravantinos, Nicolas Peltier
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/AravantinosP11a ↗
Browse the full TABLEAUX paper archive.
Vincent Aravantinos, Nicolas Peltier
Browse the full TABLEAUX paper archive.