A New Algorithm for Computing Least Generalization of a Set of Atoms (Q5041770)
From MaRDI portal
scientific article; zbMATH DE number 7602158
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A New Algorithm for Computing Least Generalization of a Set of Atoms |
scientific article; zbMATH DE number 7602158 |
Statements
A New Algorithm for Computing Least Generalization of a Set of Atoms (English)
0 references
14 October 2022
0 references
anti-unification
0 references
anti-combination
0 references
least generalization
0 references
