A language-independent proof system for full program equivalence.

Stefan Ciobaca Dorel Lucanu Vlad Rusu Grigore Rosu

Published in: Formal Aspects Comput. (2016)

Keyphrases

language independent
n gram
cross lingual
text classification
machine translation
text retrieval
multi lingual
word level
neural network
modal logic
automatic summarization
language specific
information retrieval systems
word segmentation