加载中…
2023-04-26
Simple Type Theory as a Clausal Theory
Gilles Dowek
文献摘要
We give a presentation of Simple Type Theory as a clausal rewrite system in Polarized deduction modulo.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本
We give a presentation of Simple Type Theory as a clausal rewrite system in Polarized deduction modulo.
生成讲解博客的中文版本
生成AI智能校验的中文版本