搜索页_Michael Codisha

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

CNKI学位论文(3)

知网期刊论文(1)

在“Elsevier电子期刊”中，命中：13条，耗时：0.0239879 秒

在所有数据库中总计命中：4条

1.LONG-TERM SURVIVAL OF OCTOGENARIANS FOLLOWING INTENSIVE CARE ADMISSION WITH SEPSIS: A MULTICENTER STUDY

作者：Jacob Dreiher ; Sharon Einav ; Shlomi Codish ; Pierre Singer ; Daniel Talmor ; Yaniv Almog ; Michael Friger ; Victor Novack

刊名：European Journal of Internal Medicine

出版年：2011

2.An algebraic approach to sharing analysis of logic programs

作者：Codish ; Michael ; Lagoon ; Vitaly ; Bueno ; Francisco

关键词：Program analysis ; ACI unification ; Variable sharing

刊名：The Journal of Logic Programming

出版年：2000

3.A simple polynomial groundness analysis for logic programs

作者：Heaton ; Andy ; Abo-Zaed ; Muhamed ; Codish ; Michael ; King ; Andy

关键词：Groundness analysis ; Positive Boolean functions

刊名：The Journal of Logic Programming

出版年：2000

4.Type dependencies for logic programs using ACI-unification

作者：Codish ; Michael ; Lagoon ; Vitaly

关键词：ACI unification ; Type analysis ; Logic programs

刊名：Theoretical Computer Science

出版年：2000

5.Improving program analyses, by structure untupling

作者：Codish ; Michael ; Marriott ; Kim ; Taboch ; Cohavit

关键词：Program analysis ; Structure information

刊名：The Journal of Logic Programming

出版年：2000

6.Efficient goal directed bottom-up evaluation of logic programs

作者：Codish ; Michael

关键词：Magic sets ; Bottom-up evaluation

刊名：The Journal of Logic Programming

出版年：1999

7.A semantic basis for the termination analysis of logic programs

作者：Codish ; Michael ; Taboch ; Cohavit

关键词：Logic programs ; Termination analysis ; Semantics ; Abstraction

刊名：The Journal of Logic Programming

出版年：1999

8.Worst-case groundness analysis using positive Boolean functions

作者：Codish ; Michael

刊名：The Journal of Logic Programming

出版年：1999

9.Exploiting goal independence in the analysis of logic programs

作者：Codish ; Michael ; Bruynooghe ; Maurice ; de la Banda ; Maria García ; Hermenegildo ; Manuel

刊名：The Journal of Logic Programming

出版年：1997

10.A confluent semantic basis for the analysis of concurrent constraint logic programs

作者：Codish ; Michael ; Falaschi ; Moreno ; Marriott ; Kim ; Winsborough ; William

刊名：The Journal of Logic Programming

出版年：1997

1

2

按检索点细分(13)

作者(13)

按出版年细分(13)

2011年(1)

2000年(4)

2000年及以前(8)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700