A generalization and a new proof of Plotkin's reduction theorem (Q6473103)

From MaRDI portal





scientific article; zbMATH DE number 900015497
Language Label Description Also known as
default for all languages
No label defined
    English
    A generalization and a new proof of Plotkin's reduction theorem
    scientific article; zbMATH DE number 900015497

      Statements

      1 September 2003
      0 references
      math.CT
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references