Similar Items: On the Strong Equivalences for LPMLN Programs
- Bloch: a strongly typed, hardware-agnostic, hybrid quantum programming language
- Behavioural equivalences for timed systems
- Qualitative Logics and Equivalences for Probabilistic Systems
- Proof equivalence in MLL is PSPACE-complete
- Strongly Complete Logics for Coalgebras
- 2-adjoint equivalences in homotopy type theory