Formal methods [FM]
Collection
Collection
Published by CWI
-
January 2016
-
March 2016
-
A Compositional Framework for Preference-Aware Agents Tech Report
T.W.J. Kappé (Tobias), F. Arbab (Farhad) and C. Talcott (Carolyn)
May 2016
-
Unveiling EIlenberg-type correspondences: Birkhoff's theorem for (finite) algebras + duality Tech Report
December 2016