Higher-Order and Symbolic Computation: Editorial

被引：0
|
作者：
Department of Computer Science, University of Aarhus, Aarhus, Denmark [1 ]
不详 [2 ]
机构：
来源：
High Order Symbol Comput | 2008年 / 4卷 / 359期
关键词：
D O I：
10.1007/s10990-008-9040-6
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Higher-Order and Symbolic Computation: Editorial
    BRICS, University of Aarhus, Denmark
    不详
    不详
    不详
    High Order Symbol Comput, 2006, 1 (05):
  • [2] Higher-order and Symbolic Computation: Editorial
    Danvy, Olivier
    Thielecke, Hayo
    Higher-Order and Symbolic Computation, 2007, 20 (04) : 337 - 338
  • [3] Higher-Order and Symbolic Computation: Editorial
    Department of Computer Science, University of Aarhus, Aarhus, Denmark
    High Order Symbol Comput, 2007, 3 (197-198):
  • [4] Higher-Order and Symbolic Computation: Editorial
    Honsell, Furio
    Talcott, Carolyn
    Higher-Order and Symbolic Computation, 2006, 19 (2-3) : 167 - 168
  • [5] Higher-Order and Symbolic Computation: Editorial
    Chin, Wei-Ngan
    Danvy, Olivier
    Thiemann, Peter
    Higher-Order and Symbolic Computation, 2004, 17 (1-2) : 5 - 6
  • [6] Higher-Order and Symbolic Computation: Editorial
    Department of Computer Science, University of Copenhagen, Copenhagen, Denmark
    不详
    不详
    High Order Symbol Comput, 2008, 1-2 (1-3):
  • [7] Higher-Order and Symbolic Computation: Editorial
    Department of Computer Science, Aarhus University, Aarhus, Denmark
    不详
    High Order Symbol Comput, 2009, 3 (197):
  • [8] Higher-Order and Symbolic Computation: Editorial
    Department of Computer Science, Aarhus University, Aarhus, Denmark
    不详
    High Order Symbol Comput, 2009, 1 (01):
  • [9] Higher-Order and Symbolic Computation: Editorial
    Department of Computer Science, University of Aarhus, Aarhus, Denmark
    不详
    不详
    不详
    Higher-Order and Symbolic Computation, 2008, 21 (03) : 237 - 238
  • [10] SYMBOLIC METHOD OF HIGHER-ORDER SENSITIVITIES COMPUTATION
    VALLETTE, F
    VASILESCU, G
    ALQUIE, G
    ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1993, 48 (9-10): : 449 - 458
12345