A Translation from Alloy to B.

Sebastian Krings Joshua Schmidt Carola Brings Marc Frappier Michael Leuschel

Published in: ABZ (2018)

Keyphrases

machine translation
query translation
digital libraries
cross language information retrieval
statistical machine translation
rotation and translation
parallel corpora
database systems
multiresolution
text classification
mechanical properties