Refined strategies for semantic unification

Authors:
P. G. Bosco;E. Giovannetti;C. Moiso
Affiliations:
CSELT, Torino, Italy;CSELT, Torino, Italy;CSELT, Torino, Italy
Venue:
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Year:
1987

Citing 0
Cited 3

Basic narrowing revisited

Journal of Symbolic Computation
System support for modular order-sorted horn clause specifications

ICSE '90 Proceedings of the 12th international conference on Software engineering
A hybrid programming scheme combining fuzzy-logic and functional-logic resources

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract