From Semirings to Residuated Kleene Lattices.

Published in: Stud Logica (2004)

Keyphrases

propositional logic
regular expressions
containment of conjunctive queries
constraint satisfaction problems
concept lattice
rdf graphs
boolean algebra
distributive lattices
databases
e learning
website
clustering algorithm
expert systems
relational databases