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 条

[41] Quantitative disjunctive logic programming: semantics and computation
Mateis, Cristinel
2000, IOS Press, Amsterdam, Netherlands (13)
[42] TOWARDS A PROCESS SEMANTICS IN THE LOGIC PROGRAMMING STYLE
CORRADINI, A
MONTANARI, U
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 415 : 95 - 108
[43] Coalgebraic logic programming: from Semantics to Implementation
Komendantskaya, Ekaterina
Power, John
Schmidt, Martin
JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 745 - 783
[44] LOGIC PROGRAMMING-SEMANTICS MADE EASY
LAENENS, E
VERMEIR, D
ZANIOLO, C
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 499 - 508
[45] Quantitative Disjunctive Logic Programming: Semantics and computation
Mateis, C
AI COMMUNICATIONS, 2000, 13 (04) : 225 - 248
[46] THE EXPRESSIVE POWERS OF THE LOGIC PROGRAMMING-SEMANTICS
SCHLIPF, JS
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 51 (01) : 64 - 86
[47] LOGIC AND FUNCTIONAL PROGRAMMING BY RETRACTIONS - OPERATIONAL SEMANTICS
BELLIA, M
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (04): : 395 - 436
[48] Substructural Operational Semantics as Ordered Logic Programming
Pfenning, Frank
Simmons, Robert J.
24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 101 - 110
[49] Journal of Logic and Algebraic Programming: Preface
Hazewinkel, M.
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
JOURNAL OF LOGIC PROGRAMMING, 1998, 35 (02): : 171 - 194

← 1 2 3 4 5 →