Recursive axiomatizations for representable posets.

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

Keyphrases

decision procedures
case study
partially ordered sets
database
real time
recursive functions
data sets
information retrieval
genetic algorithm
computer vision
automated reasoning
recursive algorithm