“关于析取与线性逻辑程序设计之间的关系。”

Marco Bozzano、Giorgio Delzanno、Maurizio Martelli(2001)

详细信息和统计

内政部: 10.1016/S1571-0661(04)00150-1

访问:打开

类型:会议或研讨会论文

元数据版本:2021-10-14

打开Alex

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

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

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

服务莱布尼茨信息中心(Schloss Dagstuhl)