Alternative Proof of Standard Completeness Theorem for MTL

Rostislav Horcík. Alternative Proof of Standard Completeness Theorem for MTL. Soft Comput., 11(2):123-129, 2007. [doi]

Authors

Rostislav Horcík

This author has not been identified. Look up 'Rostislav Horcík' in Google