... 逻辑产生语言 logic generating language，LOGEL 逻辑语法 logic grammar 逻辑图 logic graph ...
基于20个网页-相关网页
为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析，提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。
In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.
语法结构只会偶尔影响（逻辑）清晰度或上下文概念的链接。
Grammatical structures do not result in anything more than an occasional lapse of clarity or in the connection of ideas.
通常，更改语法和更改应用程序逻辑是不同种类的任务；这些文件反映了这一点。
Changing the grammar is usually a different sort of task than changing the application logic; and the files reflect this.
应用推荐