Category:Unification (computer science)
Jump to navigation
Jump to search
algorithmic process of solving equations between symbolic expressions | |||||
Upload media | |||||
Pronunciation audio | |||||
---|---|---|---|---|---|
Subclass of | |||||
| |||||
Media in category "Unification (computer science)"
The following 26 files are in this category, out of 26 total.
-
Generalizations of abc.gif 516 × 536; 6 KB
-
Goldfarb1a.pdf 637 × 283; 37 KB
-
Goldfarb1b.pdf 637 × 283; 45 KB
-
Goldfarb1c.pdf 602 × 212; 38 KB
-
Goldfarb2a.pdf 283 × 141; 53 KB
-
Goldfarb3a.pdf 177 × 212; 27 KB
-
Goldfarb4a svg.svg 383 × 213; 22 KB
-
Goldfarb4a.pdf 637 × 354; 31 KB
-
Goldfarb4b.pdf 1,629 × 920; 63 KB
-
Goldfarb4c.pdf 637 × 354; 31 KB
-
Goldfarb4d.pdf 1,629 × 920; 63 KB
-
M3 linear terms.svg 140 × 180; 1 KB
-
N5 linear terms.svg 140 × 180; 958 bytes
-
N5 terms.svg 160 × 180; 991 bytes
-
Pairwise unifiable terms.gif 873 × 456; 7 KB
-
Triangle diagram of narrowing step svg.svg 620 × 549; 765 KB
-
Triangle diagram of narrowing step.pdf 1,033 × 914; 25 KB
-
Triangle diagram of syntactic unification svg.svg 287 × 181; 13 KB
-
Triangle diagram of syntactic unification.pdf 477 × 300; 11 KB
-
Unification animation.gif 90 × 100; 23 KB
-
Unification dag exemple quadratique.svg 281 × 163; 28 KB
-
Unification dag exemple.svg 343 × 340; 46 KB
-
Unification exponential blow-up svg.svg 1,258 × 344; 64 KB
-
Unification exponential blow-up.pdf 2,095 × 570; 16 KB