TY  - CONF

T1  - Automated reasoning in kleene algebra

JO  - Automated Deduction - CADE-21, Proceedings

PY  - 2007/01/01

AU  - Hofner P

AU  - Struth G

ED  - Pfenning F

VL  - 4603

SP  - 279

EP  - 294

Y2  - 2024/12/22

ER  -