On the zero-inequivalence problem for loop programs (Q1171383)

From MaRDI portal





scientific article; zbMATH DE number 3786133
Language Label Description Also known as
default for all languages
No label defined
    English
    On the zero-inequivalence problem for loop programs
    scientific article; zbMATH DE number 3786133

      Statements

      Identifiers