Nominal Anti-Unification (Q5277871)
From MaRDI portal
scientific article; zbMATH DE number 6744191
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nominal Anti-Unification |
scientific article; zbMATH DE number 6744191 |
Statements
12 July 2017
0 references
nominal anti-unification
0 references
term-in-context
0 references
equivariance
0 references
Nominal Anti-Unification (English)
0 references
