TY  - CONF

T1  - Calculating Church-Rosser proofs in Kleene algebra

JO  - RELATIONAL METHODS IN COMPUTER SCIENCE

PY  - 2002/01/01

AU  - Struth G

ED  - DeSwart HCM

VL  - 2561

SP  - 276

EP  - 290

Y2  - 2024/12/25

ER  -