On the decidability of the sequence equivalence problem for DOL-systems (Q1235985)

From MaRDI portal





scientific article; zbMATH DE number 3548472
Language Label Description Also known as
default for all languages
No label defined
    English
    On the decidability of the sequence equivalence problem for DOL-systems
    scientific article; zbMATH DE number 3548472

      Statements

      Identifiers