vix.ing · top · new · best · stats · spec

Torres-Ruiz, Mateo

  1. A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
    2024/08/27 by Piedeleu, Robin, Torres-Ruiz, Mateo, Silva, Alexandra +1 · 5 citations
    #F.3.2 #F.4.0 #FOS: Computer and information sciences #G.3 #Logic in Computer Science (cs.LO)