Report - GeTS { A Speci cation Language for Geo-Temporal Notions · humans can do. Examples are ‘calendrical calculations’ [4], i.e. formal encodings of calendar systems for mapping dates

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form