Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.
Christophe Ringeissen, Valerio Senni
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/RingeissenS11 ↗
Browse the full TABLEAUX paper archive.