首页> 外文OA文献 >Type-based termination of generic programs

【2h】

Type-based termination of generic programs

机译：基于类型的通用程序终止

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Abel Andreas;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Type-based termination of generic programs [J] . Andreas Abel Science of Computer Programming . 2009,第8期

机译：基于类型的通用程序终止
2. Termination Analysis of Logic Programs Through Combination of Type-Based Norms [J] . MAURICE BRUYNOOGHE, MICHAEL CODISH, JOHN P. GALLAGHER, ACM Transactions on Programming Languages and Systems . 2007,第2期

机译：基于类型规范的逻辑程序终止分析
3. Type-based homeomorphic embedding for online termination [J] . Elvira Albert, John Gallagher, Miguel Gomez-Zamalloa, Information Processing Letters . 2009,第15期

机译：用于在线终止的基于类型的同胚嵌入
4. On Strong Normalization of the Calculus of Constructions with Type-Based Termination [C] . Benjamin Gregoire, Jorge Luis Sacchini Logic for programming artificial intelligence, and reasoning . 2010

机译：基于类型终止的构造微积分的强规范化
5. CHARACTERISTICS OF SECOND STEP BACCALAUREATE NURSING PROGRAMS AS COMPARED TO NATIONAL LEAGUE FOR NURSING GENERIC BACCALAUREATE NURSING PROGRAMS [D] . OPITZ, MARGARET GAULT. 1982

机译：护理一般细菌的第二步比照国立护理学课程的特点
6. Perception of Generic Prescription Drugs and Utilization of Generic Drug Discount Programs [O] . Anthony Omojasola, Mike Hernandez, Sujit Sansgiry, -1

机译：通用处方药的感知和仿制药折扣计划的利用
7. Type-based termination of generic programs [O] . Andreas Abel 2007

机译：基于类型的通用程序终止

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号