Malik, Sharad

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Malik, Sharad
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bloem Roderick - 2014 - Reduction of Resolution Refutations and Interpolants via...pdf.jpgBloem, Roderick ; Malik, Sharad ; Schlaipfer, Matthias ; Weissenbacher, GeorgReduction of Resolution Refutations and Interpolants via SubsumptionInproceedings Konferenzbeitrag2014