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

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

基本信息

项目摘要

暂无数据

项目成果

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

暂无数据

数据更新时间：2024-06-01

Patricia Johann其他文献

A Productivity Checker for Logic Programming
逻辑编程的生产力检查器
Monadic fold, Monadic build, Monadic Short Cut Fusion
Monadic 折叠、Monadic 构建、Monadic 快捷融合
  • DOI：
  • 发表时间：
    2016
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Patricia Johann
    Patricia Johann
  • 通讯作者：
    Patricia Johann
    Patricia Johann
Lumberjack Summer Camp: A Cross-Institutional Undergraduate Research Experience in Computer Science
伐木工人夏令营：计算机科学的跨机构本科研究经历
Staged Notational Definitions
分阶段符号定义
  • DOI：
    10.1007/978-3-540-39815-8_6
    10.1007/978-3-540-39815-8_6
  • 发表时间：
    2003
    2003
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Walid Taha;Patricia Johann
    Walid Taha;Patricia Johann
  • 通讯作者：
    Patricia Johann
    Patricia Johann
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi
证明高阶多态演算中基于自由定理的程序变换的正确性
共 23 条
  • 1
  • 2
  • 3
  • 4
  • 5
前往
页

Patricia Johann的其他基金

SHF:Small:RUI: Deep Induction Rules for Advanced Data Types
SHF:Small:RUI：高级数据类型的深度归纳规则
  • 批准号：
    2203217
    2203217
  • 财政年份：
    2022
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Standard Grant
    Standard Grant
SHF:Small:RUI: Semantic Complexity of Advanced Data Types
SHF:Small:RUI：高级数据类型的语义复杂性
  • 批准号：
    1906388
    1906388
  • 财政年份：
    2019
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Standard Grant
    Standard Grant
SHF: Small: RUI: New Foundations for Indexed Programming
SHF：小型：RUI：索引编程的新基础
  • 批准号：
    1713389
    1713389
  • 财政年份：
    2017
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Standard Grant
    Standard Grant
SHF: Small: Relational Parametricity for Program Verification
SHF：小：程序验证的关系参数
  • 批准号：
    1420175
    1420175
  • 财政年份：
    2014
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Standard Grant
    Standard Grant
Categorical Foundations for Indexed Programming
索引编程的分类基础
  • 批准号：
    EP/G068917/1
    EP/G068917/1
  • 财政年份：
    2010
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Research Grant
    Research Grant
RUI:Initial Algebra Packages for GADTs: Principled Tools for Structured Programming
RUI：GADT 的初始代数包：结构化编程的原则工具
  • 批准号：
    0700341
    0700341
  • 财政年份：
    2007
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Standard Grant
    Standard Grant
RUI: Provable Safety for Performance-Improving Free Theorems-Based Program Transformations
RUI：可证明安全性，可提高性能的基于自由定理的程序转换
  • 批准号：
    0429072
    0429072
  • 财政年份：
    2004
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Continuing Grant
    Continuing Grant
RUI: Testing and Enhancing a Prototype Program Fusion Engine
RUI：测试和增强原型程序融合引擎
  • 批准号：
    0296006
    0296006
  • 财政年份：
    2001
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Standard Grant
    Standard Grant
RUI: Testing and Enhancing a Prototype Program Fusion Engine
RUI：测试和增强原型程序融合引擎
  • 批准号：
    9900510
    9900510
  • 财政年份：
    1999
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Standard Grant
    Standard Grant
Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
数学科学：走向一种用于自动演绎的有根据的排序理论
  • 批准号：
    9510164
    9510164
  • 财政年份：
    1995
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Standard Grant
    Standard Grant

相似国自然基金

实施科学视角下食管癌加速康复外科证据转化障碍机制与多元靶向干预策略研究
  • 批准号：
    82303925
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目
游戏化mHealth干预模式下精神障碍出院患者自杀风险管理策略的实施科学研究——基于多阶段优化策略
  • 批准号：
    72374095
  • 批准年份：
    2023
  • 资助金额：
    40 万元
  • 项目类别：
    面上项目
基于成分转化-体内时空分布-空间代谢组学整体耦联阐释女贞子蒸制的科学内涵
  • 批准号：
    82374041
  • 批准年份：
    2023
  • 资助金额：
    49 万元
  • 项目类别：
    面上项目
虚拟实验环境下科学探究过程自动监测与适应性反馈研究
  • 批准号：
    62377005
  • 批准年份：
    2023
  • 资助金额：
    50 万元
  • 项目类别：
    面上项目
基于胆汁酸/CCL2/CCR2+TAMs代谢免疫穿越调控探讨乳腺癌“肝——乳”轴科学内涵与干预研究
  • 批准号：
    82374446
  • 批准年份：
    2023
  • 资助金额：
    48 万元
  • 项目类别：
    面上项目

相似海外基金

Development of assessment in mathematics and science for using advanced digital technology: Toward the cultivation of scientific thinking
使用先进数字技术的数学和科学评估的发展：致力于科学思维的培养
  • 批准号：
    21K18136
    21K18136
  • 财政年份：
    2021
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Pioneering)
    Grant-in-Aid for Challenging Research (Pioneering)
Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration
逻辑哲学的跨学科研究：走向证明和论证哲学的发展
  • 批准号：
    21H00467
    21H00467
  • 财政年份：
    2021
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
    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
    20K20418
  • 财政年份：
    2020
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Pioneering)
    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
    20K22369
  • 财政年份：
    2020
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Grant-in-Aid for Research Activity Start-up
    Grant-in-Aid for Research Activity Start-up
Mid-infrared ultrashort-pulsed comb source toward advanced vibrational spectroscopy
面向先进振动光谱的中红外超短脉冲梳状源
  • 批准号：
    20H02651
    20H02651
  • 财政年份：
    2020
  • 资助金额：
    $ 1.8万
    $ 1.8万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
    Grant-in-Aid for Scientific Research (B)