On a Definition of First Order Translation for a Concrete Category.

Published in: Math. Log. Q. (1982)

Keyphrases

higher order
machine translation
first order logic
database
real time
databases
website
case study
cross language
machine translation system
model theoretic
universally quantified