Order Relations Over Finitely Supported Structures

Andrei Alexandru, Gabriel Ciobanu. Order Relations Over Finitely Supported Structures. In 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018. pages 117-124, IEEE, 2018. [doi]

Abstract

Abstract is missing.