Login
Login

normalization property (abstract rewriting)

  1. REDIRECT Normal form (abstract rewriting)#Definition

{{R to section}}