We classify all apartness relations definable in propositional logics
ex...
We introduce structured decompositions: category-theoretic generalizatio...
We develop a general theory of categories that admit a functorial invari...
Programming by Optimization tools perform automatic software configurati...