KAD Dependents

2023

Catoids, Categories, Groupoids

by Georg Struth

Aug 14

Modal quantales, involutive quantales, Dedekind Quantales

by Georg Struth and Cameron Calk

Jul 25

2019

Verification Components for Hybrid Systems

by Jonathan Julian Huerta y Munive

Sep 10

2016

Program Construction and Verification Components Based on Kleene Algebra

by Victor B. F. Gomes and Georg Struth

Jun 18