Simplified version of the theorem.
收藏Figshare2015-12-02 更新2026-04-29 收录
下载链接：
https://figshare.com/articles/dataset/_Simplified_version_of_the_theorem_/531359
下载链接
链接失效反馈官方服务：
资源简介：
In Zsyntax, deductions can be written in a simpler way than that presented in Table 2. Here, the emphasis is on the main steps of the inferential process, while inferential rules remain hidden. These rules must however be considered to be implicitly applied, in spite of the fact that they are not explicitly mentioned. Abbreviations are as in Table 2.
创建时间：
2015-12-02
