Proof By Abduction in Isabelle/HOL.
Seminář / přednáška Proof By Abduction in Isabelle/HOL..
Poisson-Voronoi percolation in higher rank
Seminář / přednáška Poisson-Voronoi percolation in higher rank.
Ultrahomogeneous digraphs: universal automorphism groups and canonical amalgamation
Seminář / přednáška Ultrahomogeneous digraphs: universal automorphism groups and canonical amalgamation.
MacNeille completion, canonical completion, and duality for monadic ortholattices
Seminář / přednáška MacNeille completion, canonical completion, and duality for monadic ortholattices.
Symbolic Constraints and Quantitative Extensions of Equality
Seminář / přednáška Symbolic Constraints and Quantitative Extensions of Equality.
Abstraction-Based Machine-Code Program Verification.
Seminář / přednáška Abstraction-Based Machine-Code Program Verification..
Quantum logic, dagger categories, and the basic model of quantum physics
Seminář / přednáška Quantum logic, dagger categories, and the basic model of quantum physics.
Understanding the neural networks through rule extraction.
Seminář / přednáška Understanding the neural networks through rule extraction..
Which po-monoids arise from po-groups?
Seminář / přednáška Which po-monoids arise from po-groups?.