课题基金 / 基金详情

Applications of Algebraic Logic and Universal Algebra to Computer Science (June 1988, Ames, Iowa)

Applications of Algebraic Logic and Universal Algebra to Computer Science (June 1988, Ames, Iowa)
代数逻辑和通用代数在计算机科学中的应用（1988 年 6 月，艾姆斯，爱荷华州）
批准号：
8800793
负责人：
Clifford Bergman
金额：
$0.4万
依托单位：
Iowa State University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1988
资助国家：
美国
项目状态：
已结题
起止时间：
1988-03-01 至 1989-02-28
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8800793&HistoricalAwards=false
关键词：
ApplicationsAlgebraicLogicUniversalAlgebra

项目摘要

项目成果

Clifford Bergman的其他基金

相似基金

相关文献

中文摘要
翻译
爱荷华州立大学将于1988年6月主办一次为期四天的会议，主题是代数逻辑和通用代数在理论计算机科学中的应用和方法。他们的主要目标是把在这个领域工作的计算机科学家和数学家聚集在一起，探索他们共同的兴趣和问题，并建立一些交流的途径。
英文摘要
Iowa State University will host a four-day conference in June 1988, on the applications and methods of algebraic logic and universal algebra in theoretical computer science. Their primary goal is to bring together computer scientists and mathematicians working in this area to explore the interests and problems they have in common, and establish some avenues of communication.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: Algebra and Algorithms, Structure and Complexity Theory
  • 批准号：
    1500218
  • 项目类别：
    Standard Grant
  • 资助金额：
    $9.99万
  • 财政年份：
    2015
  • 负责人：
    Clifford Bergman
  • 依托单位：
    Iowa State University
Mathematical Sciences: Problems in Universal Algebra
  • 批准号：
    8701643
  • 项目类别：
    Standard Grant
  • 资助金额：
    $2.71万
  • 财政年份：
    1987
  • 负责人：
    Clifford Bergman
  • 依托单位：
    Iowa State University
国内基金
海外基金
同伦和Hodge理论的方法在Algebraic Cycle中的应用
  • 批准号：
    11171234
  • 项目类别：
    面上项目
  • 资助金额：
    40.0万元
  • 批准年份：
    2011
  • 负责人：
    胡文传
  • 依托单位：
    四川大学