位置：成果数据库 > 会议 > 会议详情页
Cupping and diamond embeddings: a unifying approach
  • 所属机构名称：华东师范大学
  • 会议名称：The 7th conference on Models of computation in context: computability in Europe
  • 成果类型：会议
  • 会场：Sofia
  • 相关项目：基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证
作者： Jiang Liu|Chengling Fang|Guohua Wu|
同会议论文项目
基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证
期刊论文 2 会议论文 10
同项目会议论文
Detecting Strong Nontermination of Multi-Path Polynomial Programs
Computing with Semi-Algebraic Sets Represented by Triangular Decomposition
Decidability Analysis on Termination Set of Loop Programs
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
Proving total correctness of loop programs via symbolic-numeric computation method
Computing semi-algebraic invariants for polynomial dynamical systems
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coe?cients
Termination Set of Linear Loop Programs
FORMALTCGENERATOR: A TOOL OF AUTOMATICALLY GENERATING TEST CASES FOR INFINITE STATES REACTIVE SYSTEM