Comparing Expressiveness of Set Constructor Symbols

Authors:
Agostino Dovier;Carla Piazza;Alberto Policriti
Affiliations:
-;-;-
Venue:
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Year:
2000

Sets and constraint logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Disunification in ACI1 Theories

Constraints
Set unification

Theory and Practice of Logic Programming
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets

ACM Transactions on Computational Logic (TOCL)
An embedded declarative data transformation language

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming

Hi-index	0.00