Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 21:34, 20 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Viorica Sofronie-Stokkermans
    Priestley representation for distributive lattices with operators and applications to automated theorem proving
    In: Dualities, Interpretability and Ordered Structures, Lisbon, Portugal, September, 26-27, 1997, 1999, 43-54