Semidistributivity in the Heyting arrow lattice for relational biologic processes (Q1324215)

From MaRDI portal





scientific article; zbMATH DE number 571378
Language Label Description Also known as
English
Semidistributivity in the Heyting arrow lattice for relational biologic processes
scientific article; zbMATH DE number 571378

    Statements

    Identifiers