Functions as passive constraints in LIFE
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combination of constraint systems II: rational amalgamation
Theoretical Computer Science
Ordering and Path Constraints over Semistructured Data
Journal of Intelligent Information Systems
Entailment of Non-structural Subtype Constraints
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
A New Module System for Prolog
CL '00 Proceedings of the First International Conference on Computational Logic
Set constraints with intersection
Information and Computation - Special issue: LICS'97
Retrieval of semistructured Web data
Intelligent exploration of the web
Modeling and querying web data: a constraint-based logic approach
Information modeling for internet applications
A complete and recursive feature theory
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
ACM Transactions on Computational Logic (TOCL)
Balancing clarity and efficiency in typed feature logic through delaying
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Anti-patterns for rule-based languages
Journal of Symbolic Computation
ESOP'07 Proceedings of the 16th European conference on Programming
Confluence of pattern-based calculi
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Constraint-Based Approach to Semistructured Data
Fundamenta Informaticae - Intelligent Systems
Hi-index | 0.01 |