CONDITIONAL NARROWING MODULO A SET OF EQUATIONS

被引：9
|
作者：
BOCKMAYR, A [1 ]
机构：
[1] MAX PLANCK INST INFORMAT,W-6600 SAARBRUCKEN,GERMANY
来源：
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING | 1993年 / 4卷 / 03期
关键词：
CONDITIONAL REWRITING; CONDITIONAL NARROWING; E-UNIFICATION; CONSTRAINT LOGIC AND FUNCTIONAL PROGRAMMING;
D O I：
10.1007/BF01202035
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Narrowing is a universal unification procedure for equational theories given by a canonical term rewrite system. In this paper we introduce conditional narrowing modulo a set of conditional equations and give a full proof of its correctness and completeness for equational conditional rewrite systems R,E without extravariables where E is regular and R,E is Church-Rosser modulo E and decreasing modulo E. This result can be seen as the theoretical foundation of a special form of constraint logic and functional programming.
引用
收藏
页码：147 / 168
页数：22
相关论文
共 50 条
  • [21] Answer Set Programming Modulo Theories
    Wang, Yisong
    Zhang, Mingyi
    APPLIED INFORMATICS AND COMMUNICATION, PT 5, 2011, 228 : 655 - +
  • [22] Answer Set Programming Modulo Acyclicity
    Bomanson, Jori
    Janhunen, Tomi
    Schaub, Torsten
    Gebser, Martin
    Kaufmann, Benjamin
    FUNDAMENTA INFORMATICAE, 2016, 147 (01) : 63 - 91
  • [23] On residues and nonresidues modulo a set of integers
    D. V. Kop’ev
    Doklady Mathematics, 2013, 88 : 649 - 650
  • [24] On residues and nonresidues modulo a set of integers
    Kop'ev, D. V.
    DOKLADY MATHEMATICS, 2013, 88 (03) : 649 - 650
  • [25] A complete selection function for lazy conditional narrowing
    Suzuki, T
    Middeldorp, A
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 201 - 215
  • [26] ON THE REDUCTION MODULO p OF MAHLER EQUATIONS
    Roques, Julien
    TOHOKU MATHEMATICAL JOURNAL, 2017, 69 (01) : 55 - 65
  • [27] Congruence Closure Modulo Permutation Equations
    Kim, Dohan
    Lynch, Christopher
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (342): : 86 - 98
  • [28] Integrability of Discrete Equations Modulo a Prime
    Kanki, Masataka
    SYMMETRY INTEGRABILITY AND GEOMETRY-METHODS AND APPLICATIONS, 2013, 9
  • [29] On linear functional equations modulo Z
    Gilanyi, Attila
    Lewicka, Agata
    AEQUATIONES MATHEMATICAE, 2021, 95 (06) : 1301 - 1311
  • [30] Reduction modulo p of differential equations
    vanderPut, M
    INDAGATIONES MATHEMATICAE-NEW SERIES, 1996, 7 (03): : 367 - 387
12345