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 SN - 9783319062501 VL - 8428 LNCS SP - 65 EP - 82 Y2 - 2024/12/25 ER -