research

Representability is not decidable for finite relation algebras

Abstract

Published versio

    Similar works