pith. sign in

Peter Jipsen

Identifiers

  • name variant Peter Jipsen 0.60 · backfill

Papers (3)

  1. Logics for Rough Concept Analysis math.LO · 2018 · author #2
  2. An Algebraic Glimpse at Bunched Implications and Separation Logic cs.LO · 2017 · author #1
  3. Generating all finite modular lattices of a given size math.CO · 2013 · author #1

Mentions

  • 1309.5036 #1 · backfill · confidence 0.70 Peter Jipsen

Frequent Coauthors