On the failure of standard completeness in PiMTL for infinite theories

Rostislav Horcík. On the failure of standard completeness in PiMTL for infinite theories. Fuzzy Sets and Systems, 158(6):619-624, 2007. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: