Equational definability of (complementary) central elements.

Mariana V. Badano Diego Vaggione

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

Keyphrases

fixed point
propositional logic
theorem proving
database
theorem prover
multimedia
three dimensional
relational databases
computer vision
decision making
xml documents
query language