Category:Unification (computer science)

Subcategories

This category has only the following subcategory.

S

Substitution (logic)

Pages in category "Unification (computer science)"

The following 5 pages are in this category, out of 5 total. This list may not reflect recent changes.

Unification (computer science)

A

Anti-unification

D

Dis-unification

S

Subsumption lattice

T

Term algebra

Retrieved from "https://enwiki.freddythechick.net/index.php?title=Category:Unification_(computer_science)&oldid=6745018"