information about Unification field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 61.9M papers | Programming language 7.6M papers | Algebra 98 papers | |
Current | |||
Unification 31.3k 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