An Efficient and Flexible Approach to Resolution Proof Reduction
Informazioni aggiuntive
Autori
Rollini S. F.,
Bruttomesso R.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2010
Lingua
Inglese
Titolo atti di convegno
Haifa Verification Conference (HVC)
Editore
Springer
Luogo convegno
Haifa, Israel
