刷新
{{item.name}}会员
Relational and Algebraic Methods in Software Developement
软件开发中的关系和代数方法
基本信息
- 批准号：RGPIN-2017-05374
- 负责人：
- 金额：$ 1.68万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Category Theory; Functional Programming; Fuzzy Methods in Program Development; Interactive Theorem Proving; Kleene Algebra; Program Correctness and Verification; Relation Algebra; Semantics of Programs
范畴理论;功能程序设计程序开发中的模糊方法;交互式定理证明; Kleene代数;程序正确性与验证;关系代数;程序语义
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Winter, Horst其他文献
Winter, Horst的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Winter, Horst', 18)}}的其他基金
Relational and Algebraic Methods in Software Developement
软件开发中的关系和代数方法
- 批准号：
RGPIN-2017-05374 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Relational and Algebraic Methods in Software Developement
软件开发中的关系和代数方法
- 批准号：
RGPIN-2017-05374 - 财政年份：2020
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Relational and Algebraic Methods in Software Developement
软件开发中的关系和代数方法
- 批准号：
RGPIN-2017-05374 - 财政年份：2019
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Relational and Algebraic Methods in Software Developement
软件开发中的关系和代数方法
- 批准号：
RGPIN-2017-05374 - 财政年份：2018
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Relational and Algebraic Methods in Software Developement
软件开发中的关系和代数方法
- 批准号：
RGPIN-2017-05374 - 财政年份：2017
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
同伦和Hodge理论的方法在Algebraic Cycle中的应用
- 批准号：11171234
- 批准年份：2011
- 资助金额：40.0 万元
- 项目类别：面上项目
相似海外基金
Algebraic Methods for Quantified Constraints
量化约束的代数方法
- 批准号：
EP/X03190X/1 - 财政年份：2024
- 资助金额：
$ 1.68万 - 项目类别：
Research Grant
LEAPS-MPS: Applications of Algebraic and Topological Methods in Graph Theory Throughout the Sciences
LEAPS-MPS：代数和拓扑方法在图论中在整个科学领域的应用
- 批准号：
2313262 - 财政年份：2023
- 资助金额：
$ 1.68万 - 项目类别：
Standard Grant
LEAPS-MPS: Algebraic and Combinatorial Methods in Permutation Enumeration
LEAPS-MPS：排列枚举中的代数和组合方法
- 批准号：
2316181 - 财政年份：2023
- 资助金额：
$ 1.68万 - 项目类别：
Standard Grant
Algebraic methods in quantum information
量子信息中的代数方法
- 批准号：
RGPIN-2018-03968 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Applications of algebraic methods in combinatorial problems
代数方法在组合问题中的应用
- 批准号：
RGPIN-2020-05481 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Anabelian methods in arithmetic and algebraic geometry
算术和代数几何中的阿纳贝尔方法
- 批准号：
RGPIN-2022-03116 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Geometric and algebraic methods in Erdos type problems
鄂尔多斯型问题的几何与代数方法
- 批准号：
RGPIN-2018-03880 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
AF: Small: Algorithmic Algebraic Methods for Systems of Difference-Differential Equations
AF：小：差分微分方程组的算法代数方法
- 批准号：
2139462 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Standard Grant
Algebraic Topology: Methods, Computation, and Science 2022
代数拓扑：方法、计算和科学 2022
- 批准号：
2208855 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Standard Grant
A study of complex spherical codes and designs by algebraic methods
用代数方法研究复杂的球形代码和设计
- 批准号：
22K03410 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Grant-in-Aid for Scientific Research (C)