Predecessor existence problems for finite discrete dynamical systems (Q2455591)

From MaRDI portal





scientific article; zbMATH DE number 5204997
Language Label Description Also known as
default for all languages
No label defined
    English
    Predecessor existence problems for finite discrete dynamical systems
    scientific article; zbMATH DE number 5204997

      Statements

      Predecessor existence problems for finite discrete dynamical systems (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      25 October 2007
      0 references
      discrete dynamical systems
      0 references
      cellular automata
      0 references
      predecessor existence
      0 references
      data flow analysis
      0 references
      software and hardware verification
      0 references
      computational complexity
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references