Decidability of trajectory-based equations (Q2575751)

From MaRDI portal





scientific article; zbMATH DE number 2235834
Language Label Description Also known as
default for all languages
No label defined
    English
    Decidability of trajectory-based equations
    scientific article; zbMATH DE number 2235834

      Statements

      Decidability of trajectory-based equations (English)
      0 references
      0 references
      0 references
      6 December 2005
      0 references
      Shuffle on trajectories
      0 references
      Deletion along trajectories
      0 references
      Language equations
      0 references
      Shuffle decompositions
      0 references

      Identifiers