Transducing Logical Relations from Automatic and Manual GLARF

Adam Meyers | Michiko Kosaka | Heng Ji | Nianwen Xue | Mary Harper | Ang Sun | Wei Xu | Shasha Liao |

Paper Details:

Month: August
Year: 2009
Location: Suntec, Singapore
Venue: LAW | WS |
SIG: SIGANN