COMPLETENESS OF COMBINATIONS OF CONDITIONAL CONSTRUCTOR SYSTEMS

被引：5
|
作者：
MIDDELDORP, A
机构：
[1] Institute of Information Sciences and Electronics, University of Tsukuba, Tsukuba
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1994年 / 17卷 / 01期
关键词：
D O I：
10.1006/jsco.1994.1002
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we extend the divide and conquer technique of Middeldorp and Toyama for establishing (semi-)completeness of constructor systems to conditional constructor systems. We show that both completeness (i.e. the combination of confluence and strong normalisation) and semi-completeness (confluence plus weak normalisation) are decomposable properties of conditional constructor systems without extra variables in the conditions of the rewrite rules. © 1994 Academic Press Limited.
引用
收藏
页码：3 / 21
页数：19
相关论文
共 50 条
  • [21] THE COMPLETENESS OF SIMPLE FRACTION LINEAR-COMBINATIONS
    LIUBARSKII, II
    [J]. DOKLADY AKADEMII NAUK SSSR, 1982, 263 (01): : 20 - 23
  • [22] COMPLETENESS THEOREM FOR A LOGIC WITH IMPRECISE AND CONDITIONAL PROBABILITIES
    Ognjanovic, Zoran
    Markovic, Zoran
    Raskovic, Miodrag
    [J]. PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2005, 78 (92): : 35 - 49
  • [23] On the Completeness of Pruning Techniques for Planning with Conditional Effects
    Cai, Dunbo
    Xu, Sheng
    Zhao, Tongzhou
    Zhang, Yanduo
    [J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2013, 2013
  • [24] Sufficient completeness verification for conditional and constrained TRS
    Bouhoula, Adel
    Jacquemard, Florent
    [J]. JOURNAL OF APPLIED LOGIC, 2012, 10 (01) : 127 - 143
  • [25] Compiling Collapsing Rules in Certain Constructor Systems
    Antoy, Sergio
    Jost, Andy
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), 2015, 9527 : 57 - 72
  • [26] On Constructor Rewrite Systems and the Lambda-Calculus
    Dal Lago, Ugo
    Martini, Simone
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 163 - 174
  • [27] CONSTRUCTOR EQUIVALENT TERM REWRITING-SYSTEMS
    DURAND, I
    SALINIER, B
    [J]. INFORMATION PROCESSING LETTERS, 1993, 47 (03) : 131 - 137
  • [28] Efficient Simulation of Forward-Branching Systems with Constructor Systems
    Salinier, B.
    Strandh, R.
    [J]. Journal of Symbolic Computation, 22 (04):
  • [29] Efficient simulation of forward-branching systems with constructor systems
    Salinier, B
    Strandh, R
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (04) : 381 - 399
  • [30] Synchronizing chaotic systems with positive conditional Lyapunov exponents by using convex combinations of the drive and response systems
    Gutierrez, JM
    Iglesias, A
    [J]. PHYSICS LETTERS A, 1998, 239 (03) : 174 - 180
12345