TY - CONF T1 - Greedy-like algorithms in modal Kleene algebra JO - RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE PY - 2003/01/01 AU - Moller B AU - Struth G ED - Berghammer R ED - Moller B ED - Struth G VL - 3051 SP - 202 EP - 214 Y2 - 2024/12/25 ER -