DMCA

Decidability and Undecidability Results for Propositional Schemata

by Vincent Aravantinos , Ricardo Caferra , Nicolas Peltier
Citations:4 - 2 self