课题基金 / 基金详情

1999 Dagstuhl Seminar on Deduction; March 1-5, l999; Wadern, Germany

1999 Dagstuhl Seminar on Deduction; March 1-5, l999; Wadern, Germany
1999 Dagstuhl 演绎研讨会；
批准号：
9971647
负责人：
Deepak Kapur
金额：
$0.0万
依托单位：
SUNY at Albany
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1999
资助国家：
美国
项目状态：
已结题
起止时间：
1999-01-01 至 1999-03-29
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9971647&HistoricalAwards=false
关键词：
1999DagstuhlSeminarDeductionMarch

项目摘要

项目成果

Deepak Kapur的其他基金

相似基金

相关文献

中文摘要
翻译
由德国科布伦茨大学的Ulrich Furbach教授、德国萨尔布吕肯MPI的Harald Ganzinger教授、日本九州大学的Ryuzo Hasegawa教授和位于奥尔巴尼的纽约州立大学的Deepak Kapur教授组织的关于演绎的国际研讨会将于1999年3月1日至5日在德国瓦德恩的达格斯图尔研讨会中心举行。来自世界各地的约70名自动演绎研究人员已被邀请参加。该奖项支持美国受邀者参加研讨会的旅行。
英文摘要
An International seminar on deduction - organized by Prof. Ulrich Furbach (University of Koblenz, Germany), Prof. Harald Ganzinger (MPI Saarbrucken, Germany), Prof. Ryuzo Hasegawa (Kyushu University, Japan), and Prof. Deepak Kapur (SUNY at Albany) - will be help March 1-5, l999 at the Dagstuhl Seminar Center in Wadern, Germany. About 70 automated deduction researchers from around the world have been invited to participate. This award supports the travel of American invitees to attend the seminar.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: Comprehensive Groebner, Parametric GCD Computations and Real Geometric Reasoning
  • 批准号：
    1908804
  • 项目类别：
    Standard Grant
  • 资助金额：
    $30.0万
  • 财政年份：
    2019
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
Generating Octagonal Invariants using Quantifier Elimination Heuristics
  • 批准号：
    1248069
  • 项目类别：
    Standard Grant
  • 资助金额：
    $8.32万
  • 财政年份：
    2012
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
Math: Algorithms for Parametric (Comprehensive) Groebner Computations
  • 批准号：
    1217054
  • 项目类别：
    Standard Grant
  • 资助金额：
    $29.95万
  • 财政年份：
    2012
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools
  • 批准号：
    0905222
  • 项目类别：
    Standard Grant
  • 资助金额：
    $24.0万
  • 财政年份：
    2009
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
海外基金