Translation of Hypersequents into Display Sequents.

Heinrich Wansing

Published in: Log. J. IGPL (1998)

Keyphrases

linear logic
sequent calculus
machine translation
machine translation system
display devices
image segmentation
expert systems
object oriented
logic programming
query translation
translation model
bilingual dictionaries