Algebraic structure with partial operations and computational model for the arithmetic of bounded nonnegative numbers (Q5234585)

From MaRDI portal





scientific article; zbMATH DE number 7110885
Language Label Description Also known as
default for all languages
No label defined
    English
    Algebraic structure with partial operations and computational model for the arithmetic of bounded nonnegative numbers
    scientific article; zbMATH DE number 7110885

      Statements

      0 references
      0 references
      27 September 2019
      0 references
      model of computation
      0 references
      preconditions of instructions
      0 references
      partial algebras
      0 references
      bounded arithmetic
      0 references
      equivalent transformations of polynomials
      0 references

      Identifiers