Incorporating first-order unification into functional language via first-class environments

被引：0
|
作者：
Nishizaki, Shin-Ya [1 ]
机构：
[1] Department of Computer Science, Tokyo Institute of Technology, 2-12-1-W8-69, O-okayama, Meguro-ku Tokyo,152-8552, Japan
来源：
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST | 2014年 / 117卷
关键词：
Semantics;
D O I：
10.1007/978-3-319-11629-7_3
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：9 / 25
相关论文
共 50 条
  • [21] Comparing Unification Algorithms in First-Order Theorem Proving
    Hoder, Krystof
    Voronkov, Andrei
    KI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5803 : 435 - 443
  • [22] First-class relationships in an object-oriented language
    Bierman, G
    Wren, A
    ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2005, 3586 : 262 - 286
  • [23] Certified First-Order AC-Unification and Applications
    Ayala-Rincon, Mauricio
    Fernandez, Maribel
    Ferreira Silva, Gabriel
    Kutsia, Temur
    Nantes-Sobrinho, Daniele
    JOURNAL OF AUTOMATED REASONING, 2024, 68 (04)
  • [24] A first-class performer
    Hill, C
    HISTORY WORKSHOP JOURNAL, 1996, (42): : 207 - 209
  • [25] First-class returns
    MacLeod, D
    IIE SOLUTIONS, 2002, 34 (10): : 8 - 8
  • [26] A Unification and Generalization of Exact Distributed First-Order Methods
    Jakovetic, Dusan
    IEEE TRANSACTIONS ON SIGNAL AND INFORMATION PROCESSING OVER NETWORKS, 2019, 5 (01): : 31 - 46
  • [27] First-class reunion
    Sellers, P
    FORTUNE, 2003, 147 (10) : 56 - 56
  • [28] Try first-class
    Congdon, B
    MACHINE DESIGN, 1995, 67 (22) : 6 - &
  • [29] First-class aims
    Conway, G
    PHYSICS WORLD, 1997, 10 (08) : 22 - 22
  • [30] First-class patterns
    Jay, Barry
    Kesner, Delia
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2009, 19 : 191 - 225
12345