People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
Simone Bova and Franco Montagna
January 2009
Cite
Type
Journal Article
Cite
×