ECOLOG: an Environment for COnstraint LOGics
Authors:
Marianne Haberstrau
Affiliations:
-
Venue:
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Year:
1994
Citing
0
Cited
1
Logical frameworks
Handbook of automated reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract