Constraints in computational logics
A Methodological View of Constraint Solving
Constraints
Generalized Definite Set Constraints
Constraints
Set constraints with intersection
Information and Computation - Special issue: LICS'97
Unification Modulo ACUI Plus Distributivity Axioms
Journal of Automated Reasoning
Set constraints with projections
Journal of the ACM (JACM)
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Hi-index | 0.00 |