Logical Theory of the Monoid of Languages over a Non Tally Alphabet.

Christian Choffrut Serge Grigorieff

Published in: Fundam. Informaticae (2015)

Keyphrases

expressive power
logical properties
real time
logical theories
theoretical foundation
case study
language independent
knowledge representation
semantic web
computational model
theoretical framework
database systems
cross lingual
theoretical basis
logical framework
genetic algorithm
database