Unary Self-verifying Symmetric Difference Automata.

Laurette Marais Lynette van Zijl

Published in: DCFS (2016)

Keyphrases

symmetric difference
finite automata
consistent query answering
pairwise
regular expressions
model checking
revision operators
prime implicants
tree automata
relational databases
hausdorff distance
prime implicates
boolean functions
similarity measure
grammatical inference
database
database systems