Logic, semantics and theory of programming - Preface

被引：0

|

作者：

Rozenberg, G

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1996年 / 153卷 / 1-2期

关键词：

D O I：

10.1016/0304-3975(96)90003-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1 / 1

页数：1

相关论文

共 50 条

[41] Minimal founded semantics for disjunctive logic programming
Greco, S
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 221 - 235
[42] Differential logic programs: Programming methodologies and semantics
Bossi, A
Bugliesi, M
Gabbrielli, M
Levi, G
Meo, MC
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1996, 27 (03) : 217 - 262
[43] SOME ISSUES AND TRENDS IN THE SEMANTICS OF LOGIC PROGRAMMING
JAFFAR, J
LASSEZ, JL
MAHER, MJ
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 223 - 241
[44] Quantitative Disjunctive Logic Programming: Semantics and computation
Mateis, C
[J]. AI COMMUNICATIONS, 2000, 13 (04) : 225 - 248
[45] LOGIC PROGRAMMING-SEMANTICS MADE EASY
LAENENS, E
VERMEIR, D
ZANIOLO, C
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 499 - 508
[46] THE EXPRESSIVE POWERS OF THE LOGIC PROGRAMMING-SEMANTICS
SCHLIPF, JS
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 51 (01) : 64 - 86
[47] Substructural Operational Semantics as Ordered Logic Programming
Pfenning, Frank
Simmons, Robert J.
[J]. 24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 101 - 110
[48] LOGIC AND FUNCTIONAL PROGRAMMING BY RETRACTIONS - OPERATIONAL SEMANTICS
BELLIA, M
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (04): : 395 - 436
[49] Journal of Logic and Algebraic Programming: Preface
Hazewinkel, M.
[J]. Journal of Logic and Algebraic Programming, 2002, 50 (1-2):
[50] A logical foundation for logic programming II: Semantics of general logic programs
Bochman, A
[J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 35 (02): : 171 - 194

← 1 2 3 4 5 →