A pi-Calculus Specification of Prolog
Authors:
Benjamin Z. Li
Affiliations:
-
Venue:
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Year:
1994
Citing
0
Cited
2
A closer look at constraints as processes
Information Processing Letters
A closer look at constraints as processes
Information Processing Letters
Quantified Score
Hi-index
0.00
Visualization
Abstract