GitHub repository: simonscheider/Algebra-of-spatio-temporal-information-generation
Primary language: Isabelle
Created: 2015-11-04T14:26:20Z
Description: Algebra of spatio-temporal-information-generation