课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
海外基金