加载中…
2020-10-08
Game-theoretic semantics and partial specifications
Antti Kuusisto
文献摘要
We discuss partial specifications in first-order logic FO and also in a Turing-complete extension of FO. We compare the compositional and game-theoretic approaches to the systems.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本