Login
Login

strong normalization

  1. REDIRECT Normal form (abstract rewriting)#Definition

{{R to section}}