• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Declarative programming and knowledge management >And... Action! - Monoid Actions and (Pre)orders
【24h】

And... Action! - Monoid Actions and (Pre)orders

机译：还有...行动！ -Monoid动作和（预）命令

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Orders occur naturally in many areas of computer science and mathematics. In several cases it is very simple do describe an order mathematically, but it may be cumbersome to implement in some programming language. On the other hand many order relations are defined in terms of an existential quantification. We provide a simple abstraction of such definitions using the well-known concept of monoid actions and furthermore show that in fact every order relation can be obtained from a specific monoid action.
机译：在计算机科学和数学的许多领域中自然会产生顺序。在某些情况下，确实要用数学方法描述一个命令很简单，但是用某种编程语言来实现它可能很麻烦。另一方面，许多顺序关系是根据存在量化定义的。我们使用众所周知的类半身像动作的概念对这些定义进行了简单的抽象，并且进一步表明，实际上每个顺序关系都可以从特定的类半身像动作中获得。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号