Synthesis of rewrite programs by higher-order and semantic unification

被引：0

|

作者：

Hagiya, M.

机构：

来源：

Algorithmic Learning Theory | 1990年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] SYNTHESIS OF REWRITE PROGRAMS BY HIGHER-ORDER AND SEMANTIC UNIFICATION
HAGIYA, M
NEW GENERATION COMPUTING, 1990, 8 (04) : 403 - 420
[2] Unification of Higher-Order Dual Programs Over Cones
Saini, S.
Kailey, N.
ASIA-PACIFIC JOURNAL OF OPERATIONAL RESEARCH, 2024, 41 (06)
[3] Higher-order rewrite systems and their confluence
Mayr, R
Nipkow, T
THEORETICAL COMPUTER SCIENCE, 1998, 192 (01) : 3 - 29
[4] Deaccenting and higher-order unification
Gardent C.
Journal of Logic, Language and Information, 2000, 9 (3) : 313 - 338
[5] Corrections and higher-order unification
Gardent, C
Kohlhase, M
van Leusen, N
NATURAL LANGUAGE PROCESSING AND SPEECH TECHNOLOGY: RESULTS OF THE 3RD KONVENS CONFERENCE, 1996, : 268 - 279
[6] Ramified higher-order unification
GoubaultLarrecq, J
12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 410 - 421
[7] Termination and confluence of higher-order rewrite systems
Blanqui, F
REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2000, 1833 : 47 - 61
[8] Decidability of bounded higher-order unification
Schmidt-Schauss, M
Schulz, KU
JOURNAL OF SYMBOLIC COMPUTATION, 2005, 40 (02) : 905 - 954
[9] HIGHER-ORDER UNIFICATION VIA COMBINATORS
DOUGHERTY, DJ
THEORETICAL COMPUTER SCIENCE, 1993, 114 (02) : 273 - 298
[10] Optimizing higher-order pattern unification
Pientka, B
Pfenning, F
AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 473 - 487

← 1 2 3 4 5 →