位置：成果数据库 > 期刊 > 期刊详情页
Symbolic Termination Analysis of Solvable Loops
  • ISSN号：0747-7171
  • 期刊名称：Journal of Symbolic Computation
  • 时间：2013.3.3
  • 页码：28-49
  • 相关项目：混杂系统中若干符号计算问题的应用研究
作者： Ming Xu|Zhi-Bin Li|
同期刊论文项目
混杂系统中若干符号计算问题的应用研究
期刊论文 9
同项目期刊论文
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums
An Upper Bound of Heilbronn Number for Eight Points in Triangles
Some Decidable Results on Reachability of Solvable Systems
Model Checking Conditional CSL for Continuous-Time Markov Chains
Stability Analysis of An Epidemic Model with Diffusion and Stochastic Perturbation
一类考虑收获的Monod-Haldane型捕食系统的动力学行为（英文）
一类随机时滞捕食者-食饵模型的动力学行为（英文）
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS