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
• 关键词: Applications; Algebraic; Logic; Universal; Algebra

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.

爱荷华州州立大学将于1988年6月主办一个为期四天的会议， 代数逻辑与泛代数的应用与方法 理论计算机科学。 他们的主要目标是 在这个领域工作的计算机科学家和数学家一起， 探索他们共同的利益和问题，并建立 一些沟通的渠道。