COMPLEXITY OF EQUATIONS VALID IN ALGEBRAS OF RELATIONS -- Part II: Finite axiomatizations.

by Hajnal Andréka
Citations:17 - 2 self