Strategy-controlled reduction and narrowing
Authors:
P. Padawitz
Affiliations:
-
Venue:
on Rewriting techniques and applications
Year:
1987
Citing
0
Cited
1
Functional and constraint logic programming
Constraints in computational logics
Quantified Score
Hi-index
0.00
Visualization
Abstract