On Leaf Permutative Theories and Occurrence Permutation Groups

Thierry Boy de la Tour, Mnacho Echenim. On Leaf Permutative Theories and Occurrence Permutation Groups. Electronic Notes in Theoretical Computer Science, 86(1):61-75, 2003. [doi]

Abstract

Abstract is missing.