Report copyright - Structures - TU Dresden · [BS93] it wn sho that E-uni cation with linear t constan restrictions is decidable i the p e ositiv t fragmen of the rst-order theory E is decidable. Since
Please pass captcha verification before submit form