A phi-calculus Semantics of Logical Variables and Unification
Authors:
Brian J. Ross
Affiliations:
-
Venue:
NAPAW '92 Proceedings of the First North American Process Algebra Workshop
Year:
1992
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