A Proof-Sensitive Approach for Small Propositional Interpolants
Informazioni aggiuntive
Autori
Sharygina N.,
Alt L.,
Fedyukovich G.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2015
Lingua
Inglese
Nome convegno
7. VSTTE 2015
Luogo convegno
San Francisco, CA, USA
Data convegno
July 18-19, 2015
