ML Anthology

Bou, Félix

1 publications

IJCAI 2011 Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete Félix Bou, Marco Cerami, Francesc Esteva