搜索结果: 1-1 共查到“计算机科学技术 Decidability”相关记录1条 . 查询时间(0.046 秒)
Decidability of Systems of Set Constraints with Negative Constraints
Decidability Systems Set Constraints Negative Constraints
2016/5/24
Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. Recently, several algorithms for solving general sy...