SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .1. LINEAR LOGIC - FOREWORD

被引：0
|
作者：
MISLOVE, MW
REED, GM
ROSCOE, AW
WACHTER, RF
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1994年 / 135卷 / 01期
关键词：
D O I：
10.1016/0304-3975(94)00101-4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 7 条
1