dblp keys for Venanzio Capretta

Venanzio Capretta

Keys

# of data records = 31

homepages/c/VenanzioCapretta conf/itp/BastonC18 conf/lics/CaprettaF17 conf/fossacs/CaprettaU16 conf/ifl/CaprettaHJ16 journals/jalc/BarendregtCK13 journals/tcs/Capretta11 conf/msfp/2008 journals/entcs/Capretta10 conf/icfp/2010msfp conf/sbmf/CaprettaUV09 conf/tphol/BoveC08 journals/entcs/CaprettaM11 conf/ccs/CaprettaSFM07 conf/tlca/BoveC07 journals/iandc/CaprettaUV06 conf/types/CaprettaF06 journals/lmcs/Capretta05 journals/mscs/BoveC05 conf/tlca/BoveC05 conf/tlca/MatwinFHC05 journals/corr/abs-cs-0505037 journals/entcs/CaprettaUV04 journals/jfp/BartheCP03 books/daglib/0011486 conf/tphol/BertotCB02 conf/tphol/BoveC01 conf/tphol/Capretta01 conf/tphol/Capretta00 journals/mscs/CaprettaV99 conf/tphol/Capretta99

a service of  Schloss Dagstuhl - Leibniz Center for Informatics