On leaf permutative theories and occurrence permutation groups

DOI10.1016/S1571-0661(04)80653-4MaRDI QIDQ4916222zbMATH OpenFDO

Authors 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)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80653-4

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Publication:3491532
• On the theories of classes of recusive permutation groups
• On permutable n-groups
• scientific article; zbMATH DE number 4083886
• On permutation properties in groups and semigroups
• On permutation groups
• On permutation groups of finite type
• scientific article; zbMATH DE number 4134287
• The Polya theory and permutation groups
• On permutability graphs of subgroups of groups

Cites work

• Fundamental algorithms for permutation groups
• General algorithms for permutations in equational inference
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1220163 (Why is no real title available?)
• scientific article; zbMATH DE number 2090299 (Why is no real title available?)
• Permutation group algorithms based on partitions. I: Theory and algorithms
• Random Graph Isomorphism

Cited in

(5)

• NP-completeness results for deductive problems on stratified terms
• Automated Reasoning
• On the complexity of deduction modulo leaf permutative equations
• Term Rewriting and Applications
• General algorithms for permutations in equational inference

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4916222)