Equational Descriptions of Languages.

Published in: Int. J. Found. Comput. Sci. (2012)

Keyphrases

theorem proving
expressive power
language independent
high level
information retrieval
theorem prover
horn clauses
language identification
linguistic resources
metadata
case study
database systems
text summarization
target language
interchange format
multilingual information retrieval