TY  - JOUR

T1  - Internal axioms for domain semirings

JO  - Science of Computer Programming

PY  - 2011/01/01

AU  - Desharnais J

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.scico.2010.05.007

VL  - 76

IS  - 3

SP  - 181

EP  - 203

Y2  - 2024/12/22

ER  -