Anti-Unification for Unranked Terms and Hedges (Q5389083)
From MaRDI portal
scientific article; zbMATH DE number 6027840
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Anti-Unification for Unranked Terms and Hedges |
scientific article; zbMATH DE number 6027840 |
Statements
24 April 2012
0 references
anti-unification
0 references
generalization
0 references
unranked terms
0 references
hedges
0 references
software clones
0 references
Anti-Unification for Unranked Terms and Hedges (English)
0 references
