What is Syntax-directed translation?

The Rossica Translation Prize is a biennial award given to an exceptional published translation of a literary work from Russian into English. It is the only prize in the world...

In proof theory, a discipline within mathematical logic, double-negation translation, sometimes called negative translation, is a general approach for embedding classical logic into intuitionistic logic, typically by translating formulas to...

SPARQL Syntax Expressions is a parse tree for representing SPARQL Algebra expressions.

Collaborative translation is a translation technique that has been created or enabled by modern translation technology where multiple participants can collaborate on the same document simultaneously, generally sharing a computer-assisted...