A Decidable Subtyping Logic for Intersection and Union Types.

Luigi Liquori Claude Stolze

Published in: TTCS (2017)

Keyphrases

first order logic
database
data sets
databases
relational databases
modal logic
predicate logic
linear temporal logic