On the compressibility of finite languages and formal proofs.

Sebastian Eberhard Stefan Hetzl

Published in: Inf. Comput. (2018)

Keyphrases

formal proofs
expressive power
databases
language independent
multi lingual
closure properties
english text
linguistic resources
artificial intelligence
cross lingual
target language
data mining
monadic datalog