Embeddability into relational lattices is undecidable

Luigi Santocanale. Embeddability into relational lattices is undecidable. Journal of Logic and Algebraic Programming, 97:131-148, 2018. [doi]

Abstract

Abstract is missing.