Representability is not decidable for finite relation algebras (1999)

by Robin Hirsch , Ian Hodkinson
Venue:Trans. Amer. Math. Soc
Citations:15 - 6 self