Beth Definability in Infinitary Languages.

Published in: J. Symb. Log. (1974)

Keyphrases

expressive power
language independent
fixed point
cross lingual
propositional logic
databases
language identification
real time
case study
target language
interchange format
website
xml documents
text summarization
linguistic resources