Higher dimensional transition systems

被引：27

作者：

Cattani, GL ^{[1
]}

Sassone, V ^{[1
]}

机构：

[1] AARHUS UNIV,DEPT COMP SCI,BRICS,DK-8000 AARHUS,DENMARK

来源：

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年

关键词：

D O I：

10.1109/LICS.1996.561303

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：55 / 62

页数：8