TY - JOUR T1 - How to prove algorithms linearisable JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2012/01/01 AU - Schellhorn G AU - Wehrheim H AU - Derrick J ED - DO - DOI: 10.1007/978-3-642-31424-7_21 VL - 7358 LNCS SP - 243 EP - 259 Y2 - 2025/05/19 ER -