Generalized Definite Set Constraints
Constraints
Higher-Order Positive Set Constraints
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Set constraints with intersection
Information and Computation - Special issue: LICS'97
Using parametric set constraints for locating errors in CLP programs
Theory and Practice of Logic Programming
Language equations with complementation: Decision problems
Theoretical Computer Science
On the Computational Completeness of Equations over Sets of Natural Numbers
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Set constraints with projections
Journal of the ACM (JACM)
Decision problems for language equations
Journal of Computer and System Sciences
Language equations with symmetric difference
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Language equations with complementation
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Hi-index | 0.00 |