Name Card

Full name Familienname, Vorname
Cervesato, Iliano
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Savenkov, Vadim ; Pichler, Reinhard Towards Practical Feasibility of Core Computation in Data ExchangeKonferenzbeitrag Inproceedings 2008
2Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas Reasoning Using KnotsKonferenzbeitrag Inproceedings2008
3Jakl, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Fast Counting with Bounded TreewidthKonferenzbeitrag Inproceedings2008
4Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian Cut elimination for first order Gödel logic by hyperclause resolutionKonferenzbeitrag Inproceedings2008