未找到相关数据
Abductive analysis of modular logic programs
被引：0
作者：
Universita di Pisa, Pisa, Italy
[1
]
机构：
来源：
J Logic Comput
|
/
4卷
/
457-483期
关键词：
The stimulating discussions with Mike Codish;
Patrick Cousot;
Saumya Debray and Giorgio Levi are gratefully acknowledged. This work has been done while the author was visiting the LJX;
Laborutoire d'Informatique;
£cole Polytechnique;
Paris. He thanks LJX;
and in particular Radhia Cousot;
for the kind hospitality. This work has been partly supported by the EEC Human Capital and Mobility individual grant: 'Semantic Definitions;
Abstract Interpretation and Constraint Reasoning';
N;
ERBCHBICT930822;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
30
引用
收藏
相关论文