The Quotient in Preorder Theories

Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa +1

Seeking the largest solution to an expression of the form A x <= B is a common task in several domains of engineering and computer science. This largest solution is commonly called…