搜索结果: 1-1 共查到“数学其他学科 Decidability”相关记录1条 . 查询时间(0.062 秒)
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...