Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory.

Thomas Colcombet

Published in: LICS (2013)

Keyphrases

set theory
partial order
first order logic
mathematical morphology
fuzzy set theory
rough sets
rough set theory
algebraic geometry
model checker
boolean algebra
fuzzy sets
probability theory
deductive databases
expert systems
information retrieval
data mining
real time