Decidability and Complexity of Finitely Closable Linear Equational Theories.

Christopher Lynch, Barbara Morawska

Browse the full CADE paper archive.