Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction

数学科学：走向一种用于自动演绎的有根据的排序理论

基本信息

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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其他文献

A Productivity Checker for Logic Programming
逻辑编程的生产力检查器
Monadic fold, Monadic build, Monadic Short Cut Fusion
Monadic 折叠、Monadic 构建、Monadic 快捷融合
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    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
  • 期刊：
    Computer Science Education
  • 影响因子：
    2.7
  • 作者：
    Patricia Johann;F. Turbak
  • 通讯作者：
    F. Turbak
Staged Notational Definitions
分阶段符号定义
  • DOI：
    10.1007/978-3-540-39815-8_6
  • 发表时间：
    2003
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Walid Taha;Patricia Johann
  • 通讯作者：
    Patricia Johann
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi
证明高阶多态演算中基于自由定理的程序变换的正确性

Patricia Johann的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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

相似国自然基金

基于可解释机器学习的科学知识角色转变预测研究
  • 批准号：
    72304108
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
面向论文引用与科研合作的"科学学"规律中的国别特征研究
  • 批准号：
    72374173
  • 批准年份：
    2023
  • 资助金额：
    41 万元
  • 项目类别：
    面上项目
国际应用系统分析研究学会2023暑期青年科学家项目
  • 批准号：
  • 批准年份：
    2023
  • 资助金额：
    4.5 万元
  • 项目类别：
战略与管理研究类：电气科学与工程学科研究方向与关键词优化
  • 批准号：
    52342702
  • 批准年份：
    2023
  • 资助金额：
    10 万元
  • 项目类别：
    专项基金项目
X9R高温多层陶瓷电容器（MLCC）中关键科学与技术难题研究
  • 批准号：
    52302276
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

Development of assessment in mathematics and science for using advanced digital technology: Toward the cultivation of scientific thinking
使用先进数字技术的数学和科学评估的发展：致力于科学思维的培养
  • 批准号：
    21K18136
  • 财政年份：
    2021
  • 资助金额：
    $ 1.8万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Pioneering)
Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration
逻辑哲学的跨学科研究：走向证明和论证哲学的发展
  • 批准号：
    21H00467
  • 财政年份：
    2021
  • 资助金额：
    $ 1.8万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
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)
High pressure and high temperature in situ measurements of physical properties of silicate glasses toward understanding the physical properties of magmas in the deep Earth
高压和高温原位测量硅酸盐玻璃的物理性质，以了解地球深处岩浆的物理性质
  • 批准号：
    20K22369
  • 财政年份：
    2020
  • 资助金额：
    $ 1.8万
  • 项目类别：
    Grant-in-Aid for Research Activity Start-up
Mid-infrared ultrashort-pulsed comb source toward advanced vibrational spectroscopy
面向先进振动光谱的中红外超短脉冲梳状源
  • 批准号：
    20H02651
  • 财政年份：
    2020
  • 资助金额：
    $ 1.8万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了