20 citations · 59 across the 20 of their papers we have counts for
1 paper · 1 filter
Arka Ghosh, Piotr Hofman, Sławomir Lasota
We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The proced…