| P89-1002 | , generation using this Earley | deduction method | requires an incomplete search |
| J90-1004 | , generation using this Earley | deduction method | requires an incomplete search |
| P98-1088 | applications call for efficient | deduction methods | . Although a number of deduction |
| J90-1004 | language expres - sions , the Earley | deduction method | is reasonably successful along |
| C96-1091 | formulae can be used with any linear | deduction method | , given the ( trivial ) additional |
| P97-1044 | shown how the linear categorial | deduction method | of ( Hepple , 1996 ) can be modified |
| E97-1044 | shown how the linear categorial | deduction method | of ( Hepple , 1996 ) can be modified |
| P97-1044 | an efficient incremental linear | deduction method | that can be used with various |
| E97-1044 | an efficient incremental linear | deduction method | that can be used with various |
| P98-1088 | methods . Although a number of | deduction methods | for multiplicative linear logic |
| P97-1044 | have achieved our aim of a linear | deduction method | that allows incremental analysis |
| E97-1044 | have achieved our aim of a linear | deduction method | that allows incremental analysis |
| P97-1044 | firstorder formulae ) is to create a | deduction method | which , like chart parsing for |
| E97-1044 | firstorder formulae ) is to create a | deduction method | which , like chart parsing for |
