F.: The Consequence Relation in the Logic of Commutative GBL-Algebras is PSPACE-complete (2009)

Cached

Download Links

by Simone Bova , Franco Montagna
Venue:Theor. Comput. Sci. 410(12-13
Citations:1 - 1 self