By exploring the relationship between
<term>
parsing
</term>
and
<term>
deduction
</term>
, a new and more general view of
<term>
chart parsing
</term>
is obtained , which encompasses
<term>
parsing
</term>
for
<term>
grammar formalisms
</term>
based on
<term>
unification
</term>
, and is the basis of the
<term>
Earley Deduction proof procedure for definite clauses
</term>
.
#14815By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing forgrammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses.
tech,23-1-P83-1021,ak
By exploring the relationship between
<term>
parsing
</term>
and
<term>
deduction
</term>
, a new and more general view of
<term>
chart parsing
</term>
is obtained , which encompasses
<term>
parsing
</term>
for
<term>
grammar formalisms
</term>
based on
<term>
unification
</term>
, and is the basis of the
<term>
Earley Deduction proof procedure for definite clauses
</term>
.
#14813By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompassesparsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses.
other,10-2-P83-1021,ak
The efficiency of this approach for an interesting class of
<term>
grammars
</term>
is discussed .
#14845The efficiency of this approach for an interesting class ofgrammars is discussed.
tech,37-1-P83-1021,ak
By exploring the relationship between
<term>
parsing
</term>
and
<term>
deduction
</term>
, a new and more general view of
<term>
chart parsing
</term>
is obtained , which encompasses
<term>
parsing
</term>
for
<term>
grammar formalisms
</term>
based on
<term>
unification
</term>
, and is the basis of the
<term>
Earley Deduction proof procedure for definite clauses
</term>
.
#14827By 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 theEarley Deduction proof procedure for definite clauses.
tech,5-1-P83-1021,ak
By exploring the relationship between
<term>
parsing
</term>
and
<term>
deduction
</term>
, a new and more general view of
<term>
chart parsing
</term>
is obtained , which encompasses
<term>
parsing
</term>
for
<term>
grammar formalisms
</term>
based on
<term>
unification
</term>
, and is the basis of the
<term>
Earley Deduction proof procedure for definite clauses
</term>
.
#14795By exploring the relationship betweenparsing 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
By exploring the relationship between
<term>
parsing
</term>
and
<term>
deduction
</term>
, a new and more general view of
<term>
chart parsing
</term>
is obtained , which encompasses
<term>
parsing
</term>
for
<term>
grammar formalisms
</term>
based on
<term>
unification
</term>
, and is the basis of the
<term>
Earley Deduction proof procedure for definite clauses
</term>
.
#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 onunification, and is the basis of the Earley Deduction proof procedure for definite clauses.
tech,16-1-P83-1021,ak
By exploring the relationship between
<term>
parsing
</term>
and
<term>
deduction
</term>
, a new and more general view of
<term>
chart parsing
</term>
is obtained , which encompasses
<term>
parsing
</term>
for
<term>
grammar formalisms
</term>
based on
<term>
unification
</term>
, and is the basis of the
<term>
Earley Deduction proof procedure for definite clauses
</term>
.
#14806By exploring the relationship between parsing and deduction, a new and more general view ofchart 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
By exploring the relationship between
<term>
parsing
</term>
and
<term>
deduction
</term>
, a new and more general view of
<term>
chart parsing
</term>
is obtained , which encompasses
<term>
parsing
</term>
for
<term>
grammar formalisms
</term>
based on
<term>
unification
</term>
, and is the basis of the
<term>
Earley Deduction proof procedure for definite clauses
</term>
.
#14797By exploring the relationship between parsing anddeduction, 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.