#14795By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses.
tech,7-1-P83-1021,ak
relationship between
<term>
parsing
</term>
and
<term>
deduction
</term>
, a new and more general view of
#14797By exploring the relationship between parsing and deduction , a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses.
tech,23-1-P83-1021,ak
</term>
is obtained , which encompasses
<term>
parsing
</term>
for
<term>
grammar formalisms
</term>
#14813By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses.
other,29-1-P83-1021,ak
grammar formalisms
</term>
based on
<term>
unification
</term>
, and is the basis of the
<term>
Earley
#14819By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification , and is the basis of the Earley Deduction proof procedure for definite clauses.