搜索结果: 1-3 共查到“Decidability”相关记录3条 . 查询时间(0.034 秒)
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...
Non-Uniform Cellular Automata: classes, dynamics, and decidability
cellular automata non-uniform cellular automata decidability symbolic dynamics
2011/10/9
Abstract: The dynamical behavior of non-uniform cellular automata is compared with the one of classical cellular automata. Several differences and similarities are pointed out by a series of examples....
For a fixed infinite structure with finite signature , we study the following computational problem: Input are quantifier-free first-order -formulas 0, 1, . . . , n that define relat...