机译:类型和效果系统语义中用于逻辑关系和单子提升的分解系统
机译:由单子字符串重写系统呈现的格林关于类半音的关系的一些结果
机译:由Monadic字符串重写系统提供的有关Monoids的Green关系的一些结果
机译:系统工程工件的逻辑方法:超越可追溯性的语义关系和依赖关系-从需求到功能和架构视图
机译:使用关系代数与多重关系的隐藏表示法-斜向提升和降低不平衡系统
机译:使用上下文信息为基于流的入侵检测系统生成语义关系。
机译:受控的语义认知依赖于行政语义控制与轮辐式语义表示系统之间的动态和灵活交互
机译:逻辑关系与效应系统语义中的逻辑关系和Monadic提升的因子化系统