Using Transitive-Closure Logic for Deciding Linear Properties of Monoids.

Christian Delhomm, Teodor Knapik, D. Gnanaraj Thomas

Browse the full MFCS paper archive.