• No results found

A Unification Method for Disjunctive Feature Descriptions

N/A
N/A
Protected

Academic year: 2020

Share "A Unification Method for Disjunctive Feature Descriptions"

Copied!
8
0
0

Loading.... (view fulltext now)

Full text

Loading

Figure

Figure I: Syntax of FDL Formulas.
Figure 5: Algorithm to check compatibility of disjunctions with respect to a condition DG
Figure 6: Algorithm to check compatibility of disjunctions of a description by checking groups of n disjunctions
Figure 7: Two descriptions to be unified.
+3

References

Related documents