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 条
  • [41] Resolution over linear equations modulo two
    Itsykson, Dmitry
    Sokolov, Dmitry
    ANNALS OF PURE AND APPLIED LOGIC, 2020, 171 (01)
  • [42] CONDITIONAL CAUCHY EQUATIONS
    DHOMBRES, J
    GER, R
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 280 (08): : 513 - 515
  • [43] Solutions of KZ differential equations modulo p
    Vadim Schechtman
    Alexander Varchenko
    The Ramanujan Journal, 2019, 48 : 655 - 683
  • [44] Dynamical and qKZ Equations Modulo Ps: an Example
    Varchenko, A.
    MATHEMATICAL NOTES, 2022, 112 (5-6) : 1003 - 1016
  • [45] Solutions of KZ differential equations modulo p
    Schechtman, Vadim
    Varchenko, Alexander
    RAMANUJAN JOURNAL, 2019, 48 (03): : 655 - 683
  • [46] SOLVABILITY OF A SYSTEM OF POLYNOMIAL EQUATIONS MODULO PRIMES
    Jarviniemi, Olli
    BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2022, 106 (03) : 404 - 407
  • [47] Solving word equations modulo partial commutations
    Diekert, V
    Matiyasevich, Y
    Muscholl, A
    THEORETICAL COMPUTER SCIENCE, 1999, 224 (1-2) : 215 - 235
  • [48] ON THE VALUE SET OF n!m! MODULO A LARGE PRIME
    Garcia, Victor C.
    BOLETIN DE LA SOCIEDAD MATEMATICA MEXICANA, 2007, 13 (01): : 1 - 6
  • [49] On additive decompositions of the set of quadratic residues modulo p
    Sarkoezy, Andras
    ACTA ARITHMETICA, 2012, 155 (01) : 41 - 51
  • [50] On the Complexity of Deduction Modulo Leaf Permutative Equations
    Thierry Boy de la Tour
    Mnacho Echenim
    Journal of Automated Reasoning, 2004, 33 : 271 - 317
12345