| model,18-2-C92-2068,ak | avoidance of copying of unmodified <term> | subgraphs | </term> . We propose a method of attaining | #22947 We focus on one speed-up element in the design of unification algorithms: avoidance of copying of unmodified subgraphs . |
|
|
|
|
| model,18-2-C92-2068,ak | avoidance of copying of unmodified <term> | subgraphs | </term> . We propose a method of attaining | #22947 We focus on one speed-up element in the design of unification algorithms: avoidance of copying of unmodified subgraphs . |
