Login / Signup

Measure Quantifier in Monadic Second Order Logic.

Henryk MichalewskiMatteo Mio
Published in: LFCS (2016)
Keyphrases
  • similarity measure
  • distance measure
  • wordnet
  • expressive power
  • fuzzy measures
  • quantifier elimination