共 50 条
- [33] Confluence of CHR Revisited: Invariants and Modulo Equivalence LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2018, 2019, 11408 : 94 - 111
- [37] Equivalence Conditions and Invariants for the General Form of Burgers’ Equations Journal of Nonlinear Mathematical Physics, 2022, 29 : 103 - 114