Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
数学科学:走向一种用于自动演绎的有根据的排序理论
基本信息
- 批准号:9696043
- 负责人:
- 金额:$ 1.8万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1995
- 资助国家:美国
- 起止时间:1995-09-15 至 1997-02-28
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(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 }}
Patricia Johann其他文献
Monadic fold, Monadic build, Monadic Short Cut Fusion
Monadic 折叠、Monadic 构建、Monadic 快捷融合
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
Patricia Johann - 通讯作者:
Patricia Johann
A Productivity Checker for Logic Programming
逻辑编程的生产力检查器
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
Ekaterina Komendantskaya;Patricia Johann;Martin Schmidt - 通讯作者:
Martin Schmidt
Staged Notational Definitions
分阶段符号定义
- DOI:
10.1007/978-3-540-39815-8_6 - 发表时间:
2003 - 期刊:
- 影响因子:0
- 作者:
Walid Taha;Patricia Johann - 通讯作者:
Patricia Johann
Lumberjack Summer Camp: A Cross-Institutional Undergraduate Research Experience in Computer Science
伐木工人夏令营:计算机科学的跨机构本科研究经历
- DOI:
10.1076/csed.11.4.279.3830 - 发表时间:
2001 - 期刊:
- 影响因子:2.7
- 作者:
Patricia Johann;F. Turbak - 通讯作者:
F. Turbak
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
结构解析:霍恩子句逻辑中的共归纳证明搜索和证明构造的框架
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Ekaterina Komendantskaya;Patricia Johann - 通讯作者:
Patricia Johann
Patricia Johann的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Patricia Johann', 18)}}的其他基金
SHF:Small:RUI: Deep Induction Rules for Advanced Data Types
SHF:Small:RUI:高级数据类型的深度归纳规则
- 批准号:
2203217 - 财政年份:2022
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
SHF:Small:RUI: Semantic Complexity of Advanced Data Types
SHF:Small:RUI:高级数据类型的语义复杂性
- 批准号:
1906388 - 财政年份:2019
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
SHF: Small: RUI: New Foundations for Indexed Programming
SHF:小型:RUI:索引编程的新基础
- 批准号:
1713389 - 财政年份:2017
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
SHF: Small: Relational Parametricity for Program Verification
SHF:小:程序验证的关系参数
- 批准号:
1420175 - 财政年份:2014
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
Categorical Foundations for Indexed Programming
索引编程的分类基础
- 批准号:
EP/G068917/1 - 财政年份:2010
- 资助金额:
$ 1.8万 - 项目类别:
Research Grant
RUI:Initial Algebra Packages for GADTs: Principled Tools for Structured Programming
RUI:GADT 的初始代数包:结构化编程的原则工具
- 批准号:
0700341 - 财政年份:2007
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
RUI: Provable Safety for Performance-Improving Free Theorems-Based Program Transformations
RUI:可证明安全性,可提高性能的基于自由定理的程序转换
- 批准号:
0429072 - 财政年份:2004
- 资助金额:
$ 1.8万 - 项目类别:
Continuing Grant
RUI: Testing and Enhancing a Prototype Program Fusion Engine
RUI:测试和增强原型程序融合引擎
- 批准号:
0296006 - 财政年份:2001
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
RUI: Testing and Enhancing a Prototype Program Fusion Engine
RUI:测试和增强原型程序融合引擎
- 批准号:
9900510 - 财政年份:1999
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
数学科学:走向一种用于自动演绎的有根据的排序理论
- 批准号:
9510164 - 财政年份:1995
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号:12226504
- 批准年份:2022
- 资助金额:20.0 万元
- 项目类别:数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号:41224003
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21224005
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Information Sciences
- 批准号:61224002
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51224001
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21024806
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号:81024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
- 批准号:41024801
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
相似海外基金
Approaches toward External Validity of Randomized Controlled Trials in the Social Sciences
社会科学中随机对照试验的外部有效性方法
- 批准号:
2318659 - 财政年份:2023
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
Toward the implementation of evidence-based health policies to the real world-a trial of using big data analyses by the integration of arts and sciences
将循证卫生政策落实到现实世界——文理结合大数据分析的尝试
- 批准号:
20K20418 - 财政年份:2020
- 资助金额:
$ 1.8万 - 项目类别:
Grant-in-Aid for Challenging Research (Pioneering)
Improving Culture and Climate in the Mathematical Sciences: Moving Toward Action
改善数学科学的文化和氛围:迈向行动
- 批准号:
1921196 - 财政年份:2019
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
Workplace Safety for Ocean Sciences: A workshop toward coordination of policies and best practices to address sexual harassment in ocean science field research; Washington DC 2020
海洋科学工作场所安全:协调政策和最佳实践以解决海洋科学领域研究中性骚扰问题的研讨会;
- 批准号:
1938766 - 财政年份:2019
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant
Systematization of the Concepts of Meaning in Linguistic Sciences: Toward Comprehensive Linguistic Science
语言科学中意义概念的系统化:迈向综合语言科学
- 批准号:
19K00035 - 财政年份:2019
- 资助金额:
$ 1.8万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Mnemonics and (De)Archiving of the Tragedy of Minamata Disease: Toward Comprehensive Studies on Social Sciences and Humanities for Future Generations
水俣病悲剧的助记与(去)存档:为子孙后代进行社会科学和人文学科的综合研究
- 批准号:
16H01970 - 财政年份:2016
- 资助金额:
$ 1.8万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Absolutely quantitative molecular imaging of living cells by Raman spectroscopy and development of physical chemistry toward life sciences
通过拉曼光谱对活细胞进行绝对定量的分子成像以及物理化学向生命科学的发展
- 批准号:
25288010 - 财政年份:2013
- 资助金额:
$ 1.8万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Toward a expansion of the natural theology to social sciences in the context of linguistic turn: Bible,Ecology,Economics.
在语言转向的背景下将自然神学扩展到社会科学:圣经,生态学,经济学。
- 批准号:
25370070 - 财政年份:2013
- 资助金额:
$ 1.8万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Developmental brain sciences toward understanding of origin of intelligence
发展脑科学以了解智力的起源
- 批准号:
20670001 - 财政年份:2008
- 资助金额:
$ 1.8万 - 项目类别:
Grant-in-Aid for Young Scientists (S)
Track 1 -- GEODES: Gearing Educational Opportunities toward Diversity in the Earth Sciences
第 1 轨——GEODES:利用教育机会实现地球科学的多样性
- 批准号:
0703637 - 财政年份:2007
- 资助金额:
$ 1.8万 - 项目类别:
Standard Grant