Computation on many-sorted topological algebras: digital and analog paradigms

多分类拓扑代数的计算：数字和模拟范式

• 批准号: 46670-2013
• 负责人: Zucker, Jeffery
• 金额: $ 1.09万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=521808
• 关键词: Computation; many; sorted; topological; algebras

My research in recent years has been in the development of the theory of computation on abstract data types. I have done this largely in collaboration with my colleagues and students in many publications.

近年来，我的研究一直是抽象数据类型计算理论的发展。我在许多出版物中与我的同事和学生合作完成了这一工作。