Equational Property of Certain Transformation Monoids.

Jian Rong Li Yan Feng Luo

Published in: Int. J. Algebra Comput. (2010)

Keyphrases

theorem proving
algebraic properties
real time
equational theories
databases
wide range
search algorithm
special case
monotonicity property