About the Paterson-Wegman linear unification algorithm (Q1103417)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4053068
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | About the Paterson-Wegman linear unification algorithm |
scientific article; zbMATH DE number 4053068 |
Statements
About the Paterson-Wegman linear unification algorithm (English)
0 references
1986
0 references
Paterson-Wegman unification algorithm
0 references
pre-processor
0 references
post-processor
0 references
structure sharing
0 references
core algorithm
0 references
0.7876961827278137
0 references
0.7725566029548645
0 references
0.7700347900390625
0 references
0.7632608413696289
0 references
