Year | DOI | Venue |
---|---|---|
1998 | 10.1007/3-540-45738-0_14 | LACL |
Keywords | Field | DocType |
lexicalized proof-nets,partial order,tree adjoining grammar,linear logic | Intuitionistic logic,Rule-based machine translation,Terminal and nonterminal symbols,Discrete mathematics,Formal language,Computer science,Algorithm,Lexicon,Tree structure,Linear logic,Proof net | Conference |
ISBN | Citations | PageRank |
3-540-42251-X | 0 | 0.34 |
References | Authors | |
8 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sylvain Pogodalla | 1 | 63 | 13.76 |