|
Volumn , Issue , 2006, Pages 707-714
|
Translating HPSG-style outputs of a robust parser into typed dynamic logic
|
Author keywords
[No Author keywords available]
|
Indexed keywords
CALCULATIONS;
COMPUTATIONAL LINGUISTICS;
COMPUTER CIRCUITS;
DIFFERENTIATION (CALCULUS);
LINEARIZATION;
TRANSLATION (LANGUAGES);
DYNAMIC LOGIC;
HIGH-ORDER;
HIGHER-ORDER;
HPSG PARSER;
LOGIC ANALYSIS;
SEMANTIC REPRESENTATION;
TRANSLATION METHOD;
TREEBANKS;
TYPED LAMBDA CALCULUS;
SEMANTICS;
|
EID: 79958010475
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (2)
|
References (12)
|