Category:Unification (computer science)

Media in category "Unification (computer science)"

The following 26 files are in this category, out of 26 total.

• 
  Example for syntactic unification without occurs check leading to infinite tree svg.svg 351 × 872; 39 KB
  
• 
  Example for syntactic unification without occurs check leading to infinite tree.pdf 583 × 1,452; 15 KB
  
• 
  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