Visualitzant Articles publicats (D-IMAE) per autor "Manyà, Felip"
​ ​ ​ ​

Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers

New complexity results for Łukasiewicz logic