Atomic Set Constraints with Projection
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Set constraints with intersection
Information and Computation - Special issue: LICS'97
E-generalization using grammars
Artificial Intelligence
Extending the resolution method with sorts
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
E-generalization using grammars
Artificial Intelligence
Set constraints with projections
Journal of the ACM (JACM)
Hi-index | 0.00 |