Deciding Quantifier-free Definability in Finite Algebraic Structures.

Miguel Campercholi Mauricio Tellechea Pablo Ventura

Published in: LSFA (2019)

Keyphrases

algebraic structures
quantifier free
real numbers
first order logic
quantifier elimination
rewrite systems
propositional logic
inductive inference
fixed point
expressive power
relational data model
finite number
constraint propagation
machine learning
inference rules
cardinality constraints
term rewriting