Strong and NV-sequentiality of constructor systems (Q1029079)

From MaRDI portal





scientific article; zbMATH DE number 5576941
Language Label Description Also known as
default for all languages
No label defined
    English
    Strong and NV-sequentiality of constructor systems
    scientific article; zbMATH DE number 5576941

      Statements

      Strong and NV-sequentiality of constructor systems (English)
      0 references
      0 references
      9 July 2009
      0 references
      programming languages
      0 references
      sequentiality
      0 references
      strategies
      0 references
      term rewriting
      0 references

      Identifiers