Constraints in computational logics
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
A Methodological View of Constraint Solving
Constraints
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Combining Decision Procedures for Positive Theories Sharing Constructors
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Unification Modulo ACUI Plus Distributivity Axioms
Journal of Automated Reasoning
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
An E-unification algorithm for analyzing protocols that use modular exponentiation
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Automatic analysis of the security of XOR-based key management schemes
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Efficient general unification for XOR with homomorphism
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Protocol analysis modulo combination of theories: a case study in Maude-NPA
STM'10 Proceedings of the 6th international conference on Security and trust management
E-unification with Constants vs. General E-unification
Journal of Automated Reasoning
Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
UNIFICATION MODULO ACI + 1 + 0
Fundamenta Informaticae
Building decision procedures in the calculus of inductive constructions
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
| Hi-index | 0.00 |