Symbolic Constraints and Tree Automata
Authors:
Max Dauchet
Affiliations:
-
Venue:
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Year:
1994
Citing
0
Cited
1
Constraint solving on terms
Constraints in computational logics
Quantified Score
Hi-index
0.00
Visualization
Abstract