TY  - CONF

T1  - A repository for Tarski-Kleene algebras

JO  - CEUR Workshop Proceedings

PY  - 2011/12/01

AU  - Guttmann W

AU  - Struth G

AU  - Weber T

ED  - 

VL  - 760

SP  - 30

EP  - 39

Y2  - 2024/12/25

ER  -