. . . . . “亚历杭德罗·格罗索（Alejandro L.Grosso）和何塞·玛丽亚·图鲁尔·托雷斯（Jose Maria Turull Torres）：变量范围超过完整一阶类型关系的二阶逻辑（2010）”。 . . _：ID_48b75c581e9d01f328ac986e644956b2。_：ID_48b75c581e9d01f328ac986e644956b2 ._：ID_48b75c581e9d01f328ac986e644956b2 ._：ID_48b75c581e9d01f328ac986e644956b2“conf/scc/GrossoT10”。 _：ID_0c1e6200ece3d536dd51ecf65e472985。_：ID_0c1e6200ece3d536dd51ecf65e472985 ._：ID_0c1e6200ece3d536dd51ecf65e472985 ._：ID_0c1e6200ece3d536dd51ecf65e472985“10.1109/SCCC.2010.9”。 “一种二阶逻辑，其中变量的范围超过与完整一阶类型的关系。”。 . . . "2"^^. _：Sig_e70683a84288cdafc6fbbfbe8835226e_1。_：Sig_e70683a84288cdafc6fbbfbe8835226e_1 ._：Sig_e70683a84288cdafc6fbbfbe8835226e_1“亚历杭德罗·格罗索”。_：Sig_e70683a84288cdafc6fbbfbe8835226e_1 ._：Sig_e70683a84288cdafc6fbbfbe8835226e_1"1"^^._：Sig_e70683a84288cdafc6fbbfbe8835226e_1 . _：Sig_e70683a84288cdafc6fbbfbe8835226e_2。_：Sig_e70683a84288cdafc6fbbfbe8835226e_2 ._：Sig_e70683a84288cdafc6fbbfbe8835226e_2“何塞·玛丽亚·图鲁尔·托雷斯”。_：Sig_e70683a84288cdafc6fbbfbe8835226e_2 ._：Sig_e70683a84288cdafc6fbbfbe8835226e_2"2"^^._：Sig_e70683a84288cdafc6fbbfbe8835226e_2 . . . . . "270-279" . “SCCC”。 “SCCC”。 "2010"^^. "2010"^^. . “dblp记录'conf/scc/GrossoT10'的RDF数据的起源信息”。 . . . “2023-03-23T23:59:53+0100”。