性质继承的线性逻辑表示和推理

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

性质继承的线性逻辑表示和推理

黄林鹏,孙永强

A LINEAR LOGIC APPROACH TO PROPERTY INHERITANCE

Huang Linpeng et al.

. 1993, (03): 3 -8 .