Abstract
We define the interpolative fusion T-boolean OR* of a family (T-i)(i is an element of I) of first-order theories over a common reduct T-boolean AND, a......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
