Unranked Nominal Unification (Q6487232)
From MaRDI portal
scientific article; zbMATH DE number 7570784
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unranked Nominal Unification |
scientific article; zbMATH DE number 7570784 |
Statements
Unranked Nominal Unification (English)
0 references
11 August 2022
0 references
