提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/csl/BarberGHP97AU-巴伯，安德鲁·G·。澳大利亚-菲利普·加德纳AU-长谷川，MasahitoAU-普罗特金，戈登·D。从动作演算到线性逻辑。BT-计算机科学逻辑，第11届国际研讨会，1997年CSL，EACSL年会，丹麦奥胡斯，1997年8月23日至29日，论文集SP-78型EP-971997年上半年//DO-2007年10月10日/BFB0028008UR-（欧元）https://doi.org/10.1007/BFb0028008急诊室-