. . . . . “Benedetto Intrigila和Richard Statman：Omega规则在lambda beta-微积分中是II_2^0-难的。（2004）”。 . . _：编号_b583000304a2电子版8b24793电子版30b5333。_：ID_b583000304a2e8b24773edaeb30b5333 ._：ID_b583000304a2e8b24773edaeb30b5333 ._：ID_b583000304a2e8b24773edaeb30b5333“conf/lics/IntrigilaS04”。 _：ID_9cf30c0e1632f7af781efadf8b3805fe。_：ID_9cf30c0e1632f7af781efadf8b3805fe ._：ID_9cf30c0e1632f7af781efadf8b3805fe ._：ID_9cf30c0e1632f7af781efadf8b3805fe“10.1109/LICS.2004.1319614”。 “Omega规则在lambda beta-Calculus中是II_2^0-难的。”。 . . . "2"^^. _：Sig_6dbb07d1d380a9f6ffabf57d81e91477_1。_：Sig_6dbb07d1d380a9f6ffabf57d81e91477_1 ._：Sig_6dbb07d1d380a9f6ffabf57d81e91477_1“Benedetto Intrigila”。_：Sig_6dbb07d1d380a9f6ffabf57d81e91477_1 ._：Sig_6dbb07d1d380a9f6ffabf57d81e91477_1"1"^^._：Sig_6dbb07d1d380a9f6ffabf57d81e91477_1 . _：Sig_6dbb07d1d380a9f6ffabf57d81e91477_2。_：Sig_6dbb07d1d380a9f6ffabf57d81e91477_2 ._：Sig_6dbb07d1d380a9f6ffabf57d81e91477_2“Richard Statman”。_：信号_6dbb07d1d380a9f6ffabf57d81e91477_2 ._：Sig_6dbb07d1d380a9f6ffabf57d81e91477_2"2"^^._：信号_6dbb07d1d380a9f6ffabf57d81e91477_2 . . . . . "202-210" . “LICS”。 “LICS”。 "2004"^^. "2004"^^. . “dblp记录'conf/lics/IntrigilaS04'的RDF数据的起源信息”。 . . . “2023-03-24T00:01:49+0100”。