Subshifts, Languages and Logic.

Emmanuel Jeandel Guillaume Theyssier

Published in: Developments in Language Theory (2009)

Keyphrases

formal language
expressive power
language independent
databases
classical logic
modal logic
cross lingual
sound and complete axiomatization
logic programming
artificial intelligence
language identification
data sets
query language
data model
text summarization
computational properties
english text
linear logic