6 search results - page 2 / 2 » A sentence reduction using syntax control |
137
click to vote
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...