• No results found

Strategic Lazy Incremental Copy Graph Unification

N/A
N/A
Info
Download
Protected

Academic year: 2020

Share "Strategic Lazy Incremental Copy Graph Unification"

Copied!
6
0
0

Loading.... (view fulltext now)

Download now ( 6 Page )

Full text

(1)
(2)
(3)
(4)
(5)
(6)

Figure

Figure 1: Exainple of a type symbol lattice
Figure 2: TFS notations
Figure 4: Data Structures for Wroblewski's method
Figure 7: The revised CopyNode procedure

References

Download now ( PDF - 6 Page - 578.51 KB )

Related documents