An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification (Q5426043)
From MaRDI portal
scientific article; zbMATH DE number 5212176
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification |
scientific article; zbMATH DE number 5212176 |
Statements
An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification (English)
0 references
15 November 2007
0 references
