PROOF RULES AND TRANSFORMATIONS DEALING WITH FAIRNESS

被引：47

作者：

APT, KR

OLDEROG, ER

机构：

[1] UNIV PARIS 07,LITP,F-75251 PARIS,FRANCE

[2] UNIV KIEL,INST INFORMAT & PRAKT MATH,D-2300 KIEL 1,FED REP GER

[3] OXFORD UNIV,COMP LAB,PROGRAMMING RES GRP,OXFORD OX1 3QD,ENGLAND

来源：

关键词：

D O I：

10.1016/0167-6423(83)90004-7

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：65 / 100

页数：36