Frittella, Sabine

1. Dual characterizations for finite lattices via correspondence theory for\n monotone modal logic
   2014/08/08 by Sabine Frittella, Frittella, Sabine, Alessandra Palmigiano +3 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems