Anti-unification for unranked terms and hedges (Q2352488)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Anti-unification for unranked terms and hedges |
scientific article |
Statements
Anti-unification for unranked terms and hedges (English)
0 references
2 July 2015
0 references
anti-unification
0 references
generalization
0 references
unranked terms
0 references
hedges
0 references
software clones
0 references
0 references
