The quantifier semigroup for bipartite graphs

From MaRDI portal





Summary: In a bipartite graph there are two widely encountered monotone mappings from subsets of one side of the graph to subsets of the other side: one corresponds to the quantifier ``there exists a neighbor in the subset and the other to the quantifier ``all neighbors are in the subset. These mappings generate a partially ordered semigroup which we characterize in terms of ``run-unimodal words.





Describes a project that uses

Uses Software






This page was built for publication: The quantifier semigroup for bipartite graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q547781)