A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS

被引：0
|
作者：
GILLUEZAS, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 380卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：197 / 208
页数：12
相关论文
共 50 条
  • [21] DEFINABILITY BY DETERMINISTIC AND NONDETERMINISTIC PROGRAMS (WITH APPLICATIONS TO 1ST-ORDER DYNAMIC LOGIC)
    KFOURY, AJ
    INFORMATION AND CONTROL, 1985, 65 (2-3): : 98 - 121
  • [22] From functional specifications to logic programs
    Gelfond, M
    Gabaldon, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 355 - 369
  • [23] Monadic logic programs and functional complexity
    Universidade do Porto, Porto, Portugal
    Theor Comput Sci, 1-2 (175-204):
  • [24] Specialization of lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Julian, P
    Vidal, G
    ACM SIGPLAN NOTICES, 1997, 32 (12) : 151 - 162
  • [25] Reporting Failures in Functional Logic Programs
    Hanus, Michael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (01) : 59 - 73
  • [26] Incremental learning of functional logic programs
    Ferri-Ramírez, C
    Hernández-Orallo, J
    Quintana, MJR
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 233 - 247
  • [27] SFLP: a solver for functional logic programs
    Hamada, M
    Ida, T
    PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 466 - 469
  • [28] DERIVATION OF LOGIC PROGRAMS BY FUNCTIONAL METHODS
    BIJLSMA, A
    INFORMATION PROCESSING LETTERS, 1991, 39 (06) : 325 - 332
  • [29] Transformation and debugging of functional logic programs
    Alpuente M.
    Ballis D.
    Falaschi M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 271 - 299
  • [30] Controlling search in functional logic programs
    Hanus, M
    Steiner, F
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 347 - 348
12345