“弱Church-Rosser抽象约简系统的特征……”

贝内代托·因特里吉拉(Benedetto Intrigila)、伊万诺·萨尔沃(Ivano Salvo)、斯特凡诺·索尔吉(Stefano Sorgi)(2001)

详细信息和统计

内政部: 2006年10月10日/INCO.2001.2945

访问:打开

类型:期刊文章

元数据版本:2021-02-12

打开Alex

请注意:由于提供了开放的元数据API,因此只能提供有关引用和引用的信息crossref.org网站开放引用.net.如果您的出版物的引用数据尚未公开,请考虑要求您的出版商向公众发布您的引用数据。有关更多信息,请参阅公开引用倡议(I4OC)也请注意,无法直接向dblp提交缺失的参考文献或引用数据。

请注意,此功能是正在进行的工作而且它还远远不够完美。尤其是,

需要JavaScript才能检索和显示此记录的任何引用和引用。