Unification with extended patterns (Q1274966)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Unification with extended patterns |
scientific article; zbMATH DE number 1238716
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification with extended patterns |
scientific article; zbMATH DE number 1238716 |
Statements
Unification with extended patterns (English)
0 references
12 January 1999
0 references
\(\beta_0\pi\)-unification
0 references
0 references
0.87527776
0 references
0 references
0.8408514
0 references
0 references
0.8331455
0 references
0 references
0 references
