乔瓦尼·克里斯库洛
人员信息
优化列表
2000 – 2009
2009 【j4】 萨布丽娜·Baselice , 皮耶罗·A·博纳蒂 , 乔瓦尼·克里斯库洛 :
关于有限递归程序。 理论与实践。 日志。 程序。 9 ( 2 ) : 213-238 ( 2009 ) [i1] 萨布丽娜·Baselice , 皮耶罗·A·博纳蒂 , 乔瓦尼·克里斯库洛 :
关于有限递归程序。 CoRR公司 abs/0901.2850 ( 2009 ) 2007 【c2】 萨布丽娜·Baselice , 皮耶罗·A·博纳蒂 , 乔瓦尼·克里斯库洛 :
关于有限递归程序。 ICLP公司 2007 : 89-103 2002 [j3] 乔瓦尼·克里斯库洛 , 福斯托·金奇利亚 , 卢西亚诺·塞拉菲尼 :
元推理的基础第一部分:证明理论。 J.日志。 计算。 12 ( 1 ) : 167-208 ( 2002 ) [注2] 乔瓦尼·克里斯库洛 , 福斯托·金奇利亚 , 卢西亚诺·塞拉菲尼 :
元推理的基础第二部分:模型理论。 J.日志。 计算。 12 ( 三 ) : 345-370 ( 2002 )
1980 – 1989
1981 【c1】 雷蒙德·雷特 , 乔瓦尼·克里斯库洛 :
交互默认值。 国际JCAI 1981 : 270-276 1980 [j1] 乔瓦尼·克里斯库洛 , 钟茂国 , 阿贝·莫斯霍维茨 , 罗伯托·托托拉 :
图的群和最小多项式。 J.库姆。 理论B 29 ( 三 ) : 293-302 ( 1980 )