Ultrafilters on words for a fragment of logic.

Mai Gehrke Andreas Krebs Jean-Éric Pin

Published in: Theor. Comput. Sci. (2016)

Keyphrases

keywords
word sense disambiguation
related words
classical logic
n gram
digital circuits
logic programming
multi valued
word recognition
word pairs
text corpora
automata theoretic
word meaning
proof theory
logical framework
database
automated reasoning
similarity measure
web pages