TY - JOUR T1 - Relations and Kleene algebras in computer science JO - J LOGIC ALGEBR PROGR PY - 2008/05/01 AU - Schmidt RA AU - Struth G ED - DO - DOI: 10.1016/j.jlap.2007.11.002 VL - 76 IS - 1 SP - 1 EP - 2 Y2 - 2024/12/22 ER -