Generalized Definite Set Constraints
Constraints
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Improving the Representation of Infinite Trees to Deal with Sets of Trees
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Atomic Set Constraints with Projection
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
An incremental unique representation for regular trees
Nordic Journal of Computing
Set constraints with intersection
Information and Computation - Special issue: LICS'97
Demand analysis with partial predicates
Theory and Practice of Logic Programming
Set constraints with projections
Journal of the ACM (JACM)
On the alternation-free horn µ-calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
What do we know about language equations?
DLT'07 Proceedings of the 11th international conference on Developments in language theory
On language inequalities XK ⊆ LX
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
Hi-index | 0.00 |