首页> 外文会议>Algebraic informatics >Iteration Grove Theories with Applications: Dedicated to Prof. Werner Kuich on the Occasion of His Retirement
【24h】

Iteration Grove Theories with Applications: Dedicated to Prof. Werner Kuich on the Occasion of His Retirement

机译:迭代格罗夫理论及其应用:专门介绍Werner Kuich教授退休的场合

获取原文
获取原文并翻译 | 示例

摘要

Iteration grove theories are iteration theories equipped with an additive structure satisfying certain one-sided distributivity laws. In any iteration grove theory, the fixed point operation determines and is determined by a generalized star operation that takes familiar form in many applications. We relate properties of the dagger operation to properties of the generalized star operation and present some applications to continuous functions over complete lattices, continuous monoids, and to tree languages.
机译:迭代格罗夫理论是一种迭代理论,配备有满足某些单侧分布规律的加性结构。在任何迭代格罗夫理论中,定点运算都会确定并由广义星形运算确定,该运算在许多应用中都采用熟悉的形式。我们将匕首运算的属性与广义星形运算的属性相关联,并将某些应用程序应用于完整晶格上的连续函数,连续monoid和树语言。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号