Proof theory and semantics of logic programs

Authors:
H. Gaifman;E. Shapiro
Affiliations:
-;-
Venue:
Proceedings of the Fourth Annual Symposium on Logic in computer science
Year:
1989

Citing 0
Cited 4

The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
Separating concurrent languages with categories of language embeddings

STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
S-semantics for logic programming: A retrospective look

Theoretical Computer Science
Theoretical foundations and semantics of logic programming

A 25-year perspective on logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract