首页> 外文OA文献 >Out of order quantifier elimination for Standard Quantified Linear Programs

【2h】

Out of order quantifier elimination for Standard Quantified Linear Programs

机译：标准量化线性程序的无序量词消除

代理获取

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

页面导航

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

著录项

作者
Subramani K.; Desovski D.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Out of order quantifier elimination for Standard Quantified Linear Programs [J] . K. Subramani, D. Desovski Journal of symbolic computation . 2005,第6期

机译：标准量化线性程序的无序量词消除
2. A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS [J] . Deepak KAPUR Journal of Systems Science and Complexity . 2006,第3期

机译：基于数量论消除的启发式算法，用于自动生成程序的感应式声明
3. A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS [J] . Deepak KAPUR 系统科学与复杂性：英文版 . 2006,第003期

机译：基于数量论消除的启发式算法，用于自动生成程序的感应式声明
4. Linear programming approach to robust controller design by a quantifier elimination [C] . Anai, H., Hara, . 2002

机译：通过消除量词来实现鲁棒控制器设计的线性编程方法
5. Quantifying uncertainty of water quality data and its application in the National Pollutant Discharge Elimination System (NPDES) program. [D] . Yin, Tong. 2004

机译：量化水质数据的不确定性及其在国家污染物排放消除系统（NPDES）计划中的应用。
6. Quantifying the metabolic capabilities of engineered Zymomonas mobilis using linear programming analysis [O] . Ivi C Tsantili, M Nazmul Karim, Maria I Klapa 2007

机译：使用线性规划分析定量工程化运动发酵单胞菌的代谢能力
7. A New Abstract Logic Programming Language and its Quantifier Elimination Method for Disjunctive Logic Programming [O] . I. Stéphan 1998

机译：一种新的抽象逻辑程序设计语言及其析取逻辑规划的量化消除方法

Out of order quantifier elimination for Standard Quantified Linear Programs

著录项

引文网络

相似文献

相关主题

期刊订阅