13 citations · 21 across the 10 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Towards the Automated Generation of Focused Proof Systems
Vivek Nigam, Giselle Reis, Leonardo Lima
This paper tackles the problem of formulating and proving the completeness of focused-like proof systems in an automated fashion. Focusing is a discipline on proofs which structure…
cs.LO2015★ 13 cited
Importing SMT and Connection proofs as expansion trees
Giselle Reis
Different automated theorem provers reason in various deductive systems and, thus, produce proof objects which are in general not compatible. To understand and analyze these object…