TY - CONF T1 - Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages JO - Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics PY - 2014/05/13 AU - Laurence MR AU - Struth G ED - DO - DOI: 10.1007/978-3-319-06251-8_5 VL - 8428 LNCS SP - 65 EP - 82 Y2 - 2025/12/03 ER -