首页> 外文OA文献 >A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes

【2h】

A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes

机译：声音过程中融合OR网关的完整和最自由的语义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Thomas M. Prinz; Wolfram Amme;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes [J] . Thomas M. Prinz, Wolfram Amme Complex Systems Informatics and Modeling Quarterly . 2015,第4期

机译：在声音过程中融合OR网关的完整，最自由的语义
2. A sound and complete semantics for a similarity-based logic programming language [J] . Julian-Iranzo Pascual, Rubio-Manzano Clemente Fuzzy sets and systems . 2017,第JUNa15期

机译：基于相似性的逻辑编程语言的完善而完整的语义
3. Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems [J] . Alexandra Silva, Ana Sokolova Electronic Notes in Theoretical Computer Science . 2011,第1期

机译：概率系统的痕量语义的健全和完全公理化
4. A New Semantics for the Inclusive Converging Gateway in Safe Processes [C] . Hagen Voelzer Business process management . 2010

机译：安全流程中包容性融合网关的新语义
5. Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers. [D] . Weitz, Konstantin. 2017

机译：使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
6. Semantic handling of medical compound words through sound analysis and generation processes. [O] . A. M. Rassinoux, P. Ruch, R. H. Baud, 2000

机译：通过声音分析和生成过程对医疗复合词的语义处理。
7. Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog based on Denotational Semantics [O] . Huibiao Zhu, Jonathan P. Bowen, He Jifeng 2002

机译：基于指称语义的Verilog操作语义的完整性，完整性和非冗余性
8. Semantic modeling for theory clarification: The realist vs liberal international relations perspective [R] . Bray, OH 1994

机译：理论澄清的语义建模：现实主义与自由国际关系的视角

A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes

著录项

引文网络

相似文献

相关主题

期刊订阅