COMPOSING RECURSIVE LOGIC PROGRAMS WITH CLAUSAL JOIN

被引：7
|
作者：
LAKHOTIA, A
STERLING, L
机构：
来源：
NEW GENERATION COMPUTING | 1988年 / 6卷 / 2-3期
关键词：
D O I：
10.1007/BF03037138
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：211 / 225
页数：15
相关论文
共 50 条
  • [41] A PROPOSITIONAL LOGIC OF BOOLEAN RECURSIVE-PROGRAMS IN WHICH PREDICATE VARIABLES APPEAR IN CONDITIONS
    RASTSVETAEV, AL
    [J]. MATHEMATICAL NOTES, 1990, 48 (3-4) : 958 - 964
  • [42] Composing Modal Properties of Programs with Procedures
    Huisman, Marieke
    Gurov, Dilian
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 203 (07) : 87 - 101
  • [43] Composing Normal Programs with Function Symbols
    Baselice, Sabrina
    Bonatti, Piero A.
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 425 - 439
  • [44] The use of renaming in composing general programs
    Brogi, A
    Contiero, S
    Turini, F
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 124 - 142
  • [45] The logic of recursive equations
    Hurkens, AJC
    McArthur, M
    Moschovakis, YN
    Moss, LS
    Whitney, GT
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (02) : 451 - 478
  • [46] Recursive logic frames
    Shelah, S
    Väänänen, J
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (02) : 151 - 164
  • [47] RECURSIVE LINEAR PROGRAMS
    KENNEDY, PE
    DAY, RH
    [J]. KEIO ECONOMIC STUDIES, 1976, 13 (01): : 1 - 11
  • [48] On finitely recursive programs
    Baselice, Sabrina
    Bonatti, Piero A.
    Criscuolo, Giovanni
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 213 - 238
  • [49] CALCULATION OF RECURSIVE PROGRAMS
    RACHANSKI, V
    [J]. DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (10): : 853 - 855
  • [50] On finitely recursive programs
    Baselice, S.
    Bonatti, P. A.
    Criscuolo, G.
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 89 - +
12345