Login / Signup

A Mechanised Abstract Formalisation of Concept Lattices.

Wolfram Kahl
Published in: RAMiCS (2014)
Keyphrases