The Whitman condition in the Heyting arrow lattice for relational biologic processes (Q1328871)

From MaRDI portal





scientific article; zbMATH DE number 612214
Language Label Description Also known as
default for all languages
No label defined
    English
    The Whitman condition in the Heyting arrow lattice for relational biologic processes
    scientific article; zbMATH DE number 612214

      Statements

      The Whitman condition in the Heyting arrow lattice for relational biologic processes (English)
      0 references
      8 August 1994
      0 references
      Heyting arrow operation
      0 references
      Heyting arrow lattice
      0 references
      Whitman condition
      0 references
      0 references
      0 references

      Identifiers