General Algorithms for Permutations in Equational Inference

We study some general algorithms for processing permutations and permu-tation groups and consider their application to equational reasoning and term-rewriting systems. We also present some complexity results for particular equa-tional consequence problems related to permutations

General Algorithms for Permutations in Equational Inference

We study some general algorithms for processing permutations and permu-tation groups and consider their application to equational reasoning and term-rewriting systems. We also present some complexity results for particular equa-tional consequence problems related to permutations

General algorithms for permutations in equational inference

We study some general algorithms for processing permutations and permutation groups and consider their application to equational reasoning and termrewriting systems. We also present some complexity results for particular equational consequence problems related to permutations