Proof-theoretic foundation of compilation in logic programming languages

Authors:
Iliano Cervesato
Affiliations:
-
Venue:
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Year:
1998

Citing 0
Cited 4

A linear logical framework

Information and Computation
Nominal logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Proof-theoretic and higher-order extensions of logic programming

A 25-year perspective on logic programming
An improved proof-theoretic compilation of logic programs

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract