. . . . . “贝内代托·因特里吉拉（Benedeto Intrigila）和理查德·斯塔特曼（Richard Statman）：欧米茄法则在lambdabeta-微积分（2007）中是P11-完全的。”。 . . _：ID_15偏移量a49a98ca7a0e44dc8b2140d。_：ID_15aff6a21a49a98ca7a0e44dc8b2140d ._：ID_15aff6a21a49a98ca7a0e44dc8b2140d ._：ID_15偏移量a49a98ca7a0e44dc8b2140d“conf/tlca/IntrigilaS07”。 _：ID_fd2002ad2bd9b889e91f62c637056331。_：ID_fd2002ad2bd9b889e91f62c637056331 ._：ID_fd2002ad2bd9b889e91f62c637056331 ._：ID_fd2002ad2bd9b889e91f62c637056331"10.1007/978-3-540-73228-0_14" . “Omega规则在lambdabeta-Calculus中是P11-完全的。”。 . . . "2"^^. _：Sig_cde7fe70e9276ad05fd8ec1c978fd551_1。_：Sig_cde7fe70e9276ad05fd8ec1c978fd551_1 ._：Sig_cde7fe70e9276ad05fd8ec1c978fd551_1“Benedetto Intrigila”。_：Sig_cde7fe70e9276ad05fd8ec1c978fd551_1 ._：Sig_cde7fe70e9276ad05fd8ec1c978fd551_1信号"1"^^._：Sig_cde7fe70e9276ad05fd8ec1c978fd551_1 . _：Sig_cde7fe70e9276ad05fd8ec1c978fd551_2。_：Sig_cde7fe70e9276ad05fd8ec1c978fd551_2 ._：Sig_cde7fe70e9276ad05fd8ec1c978fd551_2“Richard Statman”。_：Sig_cde7fe70e9276ad05fd8ec1c978fd551_2 ._：Sig_cde7fe70e9276ad05fd8ec1c978fd551_2"2"^^._：Sig_cde7fe70e9276ad05fd8ec1c978fd551_2 . . . . "178-193" . “TLCA”。 “TLCA”。 "2007"^^. "2007"^^. . “dblp记录'conf/tlca/IntrigilaS07'的RDF数据的起源信息”。 . . . “2017-05-17T14:24:41+0200”。