Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups

By F. Wehrung. 2017

50 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/ba3018dc9af06ce22d346e27fb23a0fb9c95f8ab