LOGIC, SEMANTICS AND THEORY OF PROGRAMMING - PREFACE

被引：0

|

作者：

DEZANICIANCAGLINI, M

DELLAROCCA, SR

VENTURINIZILLI, M

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1993年 / 121卷 / 1-2期

关键词：

D O I：

10.1016/0304-3975(93)90080-D

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：R11 / R12

页数：2

相关论文

共 50 条

[31] A uniform approach to logic programming semantics
Hitzler, P
Wendt, M
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 93 - 121
[32] SEMANTICS OF INFINITE TREE LOGIC PROGRAMMING
JAFFAR, J
STUCKEY, PJ
THEORETICAL COMPUTER SCIENCE, 1986, 46 (2-3) : 141 - 158
[33] ON THE SEMANTICS OF LOGIC PROGRAMMING-LANGUAGES
MARTELLI, A
ROSSI, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 327 - 334
[34] LOGIC PROGRAM SEMANTICS FOR PROGRAMMING WITH EQUATIONS
JAFFAR, J
STUCKEY, PJ
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 313 - 326
[35] A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory
Carlos Nieves, Juan
Osorio, Mauricio
Zepeda, Claudia
FUNDAMENTA INFORMATICAE, 2011, 106 (2-4) : 295 - 319
[36] COMPARATIVE SEMANTICS FOR FLOW OF CONTROL IN LOGIC PROGRAMMING WITHOUT LOGIC
DEBAKKER, JW
INFORMATION AND COMPUTATION, 1991, 94 (02) : 123 - 179
[37] The Semantics of Dynamic Fuzzy Logic Programming Language
Zhao, Xiaofang
EMERGING RESEARCH IN ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, 2011, 237 : 272 - 279
[38] Differential logic programs: Programming methodologies and semantics
Bossi, A
Bugliesi, M
Gabbrielli, M
Levi, G
Meo, MC
SCIENCE OF COMPUTER PROGRAMMING, 1996, 27 (03) : 217 - 262
[39] SOME ISSUES AND TRENDS IN THE SEMANTICS OF LOGIC PROGRAMMING
JAFFAR, J
LASSEZ, JL
MAHER, MJ
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 223 - 241
[40] Minimal founded semantics for disjunctive logic programming
Greco, S
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 221 - 235

← 1 2 3 4 5 →