information about Unification field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 62.9M papers | Programming language 7.7M papers | Algebra 98 papers | |
| Current | |||
Unification 31.7k papers | |||
| Child | |||
Occurs check 0 papers | PATR-II 0 papers | Anti-unification 0 papers | Semantic unification 0 papers |
Warren Abstract Machine 0 papers | Unification process 0 papers | ||
Trends
Notes
History