Some decidability results on one-pass reductions.

Sándor Vágvölgyi

Published in: J. Log. Algebraic Methods Program. (2019)

Keyphrases

description logics
query answering
expert systems
special case
decision procedures
type checking
decision trees
similarity measure
relational databases