Name Card

Full name Familienname, Vorname
Gupta, Ashutosh
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei Extensional Crisis and Proving IdentityKonferenzbeitrag Inproceedings 2014
2Blanc, Régis ; Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard Tree Interpolation in VampireKonferenzbeitrag Inproceedings 2013