Phusanga, D. and Joomwong, J. (2016). Hypersatisfaction of quantifier free
formulas in algebraic systems. Asian-European Journal of Mathematics ,
9(3), 1-12. doi: 10.1142/S1793557116500571
Joomwong, J. and Phusanga, D. (2016). Deterministic and non-deterministic
hypersubstitutions for algebraic systems. Asian-European Journal of
Mathematics , 9(2), 1-13. doi: 10.1142/S1793557116500479
|