Skip to content

Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete.

Flix Bou, Marco Cerami, Francesc Esteva

VenueA*IJCAI
Year2011
ProceedingsIJCAI

Browse the full IJCAI paper archive.