arXiv:1503.03192 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords undecidability, representability, finite lattice-ordered semigroup, finite ordered complemented semigroup, binary relations Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset