On leaf permutative theories and occurrence permutation groups

DOI10.1016/S1571-0661(04)80653-4zbMath1261.68097MaRDI QIDQ4916222

Thierry Boy de la Tour, Mnacho Echenim

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

On the complexity of deduction modulo leaf permutative equations

Cites Work

• Permutation group algorithms based on partitions. I: Theory and algorithms
• Fundamental algorithms for permutation groups
• Random Graph Isomorphism
• General algorithms for permutations in equational inference
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On leaf permutative theories and occurrence permutation groups