2:24Axiomatic Semantics - Computing Weakest Precondition With An AbacusEmperor Oab131 viewsView & Download
29:00[HOPE'23] Higher-Order Weakest Precondition Transformers via a CPS TransformationACM SIGPLAN59 viewsView & Download
45:52Interaction meeting on Modules 186-190 (Weakest Precondition, Verfication)compilerai577 viewsView & Download
2:40What's the difference between: operational, denotational and axiomatic semantics?Roel Van de Paar2.1K viewsView & Download
3:19Answer set solving in practice, axiomatic characterization, introductionPotassco551 viewsView & Download
22:24Alessandro Bisio: Axiomatic theory of Higher-Order Quantum ComputationQuICS165 viewsView & Download
46:33Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLAInstitute for Pure & Applied Mathematics (IPAM)745 viewsView & Download
29:37The most misunderstood equation in math (associative property)Lingua Mathematica292.0K viewsView & Download