Félix Bou

1 paper in the IJCAI proceedings

IJCAI 2011

Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete

with Marco Cerami, Francesc Esteva

doi:10.5591/978-1-57735-516-8/IJCAI11-136

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings