Any Ground Associative-Commutative Theory has a Finite Canonical System

Authors
P.Narendran,M.Rusinowitch
Citation
P.narendran,m.rusinowitch, Any Ground Associative-Commutative Theory has a Finite Canonical System, Journal of automated reasoning , 17(1), 1996, pp. 131-143
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
17
Issue
1
Year of publication
1996
Pages
131 - 143
Database
ACNP
SICI code