咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 工学
    • 1 篇 电气工程
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 declarative mode...
  • 1 篇 generalized cons...
  • 1 篇 bijective godel ...
  • 1 篇 arithmetic compu...

机构

  • 1 篇 univ n texas dep...

作者

  • 1 篇 tarau paul

语言

  • 1 篇 英文
检索条件"主题词=declarative modeling of computational phenomena"
1 条 记 录,以下是1-10 订阅
排序:
Computing with Free Algebras
Computing with Free Algebras
收藏 引用
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
作者: Tarau, Paul Univ N Texas Dept Comp Sci & Engn Denton TX 76203 USA
We describe arithmetic computations in terms of operations on some well known free algebras (S1S, S2S and ordered rooted binary trees) while emphasizing the common structure present in all of them when seen as isomorp... 详细信息
来源: 评论