Order-sorted universes of structured objects

被引：0

作者：

Asian Inst of Technology, Bangkok, Thailand ^{[1
]}

机构：

来源：

IEICE Trans Inf Syst | / 2卷 / 143-149期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[41] Currying of order-sorted term rewriting systems
Kawabe, Y
Ishii, N
COMPUTING AND COMBINATORICS, 1995, 959 : 191 - 202
[42] Order-sorted logic programming with predicate hierarchy
Kaneiwa, K
ARTIFICIAL INTELLIGENCE, 2004, 158 (02) : 155 - 188
[43] CODE SELECTION BY INVERSION OF ORDER-SORTED DERIVORS
GIEGERICH, R
THEORETICAL COMPUTER SCIENCE, 1990, 73 (02) : 177 - 211
[44] UNIFICATION IN ORDER-SORTED LOGIC WITH TERM DECLARATIONS
SOCHERAMBROSIUS, R
LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 301 - 308
[45] ORDER-SORTED UNIFICATION WITH REGULAR EXPRESSION SORTS
Kutsia, Temur
Marin, Mircea
PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 193 - 207
[46] ENTAILMENT AND DISENTAILMENT OF ORDER-SORTED FEATURE CONSTRAINTS
AITKACI, H
PODELSKI, A
LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 1 - 18
[47] Order-sorted equational generalization algorithm revisited
María Alpuente
Santiago Escobar
José Meseguer
Julia Sapiña
Annals of Mathematics and Artificial Intelligence, 2022, 90 : 499 - 522
[48] LOGIC PROGRAMMING WITH POLYMORPHICALLY ORDER-SORTED TYPES
SMOLKA, G
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 53 - 70
[49] Order-sorted algebraic specifications with higher-order functions
Haxthausen, AE
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 133 - 151
[50] Inheritance of multiple identity conditions in order-sorted logic
Tun, NN
Tojo, S
AI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3339 : 1187 - 1193

← 1 2 3 4 5 →