Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraints in computational logics
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Solvability of context equations with two context variable is decidable
Journal of Symbolic Computation
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
Matching Modulo Associativity and Idempotency Is NP-Complete
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Unification Modulo Associativity and Idempotency Is NP-complete
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Non-structural Subtype Entailment in Automata Theory
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
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
UNIMOK: A System for Combining Equational Unification Algorithm
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Matching with Free Function Symbols - A Simple Extension of Matching?
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Combining Pattern E-Unification Algorithms
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Combining Decision Procedures for Positive Theories Sharing Constructors
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Fundamenta Informaticae - Concurrency specification and programming
Disunification in ACI1 Theories
Constraints
Non-structural subtype entailment in automata theory
Information and Computation - TACS 2001
Theory and Practice of Logic Programming
Solving equations with sequence variables and sequence functions
Journal of Symbolic Computation
On unification for bounded distributive lattices
ACM Transactions on Computational Logic (TOCL)
Hierarchical combination of intruder theories
Information and Computation
Symbolic protocol analysis for monoidal equational theories
Information and Computation
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL)
Combining Algorithms for Deciding Knowledge in Security Protocols
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Towards an Automatic Analysis of Web Service Security
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Validating Integrity for the Ephemerizer's Protocol with CL-Atse
Formal to Practical Security
A Proof Theoretic Analysis of Intruder Theories
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Combinable Extensions of Abelian Groups
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
Theoretical Computer Science
Verifying cryptographic protocols with subterms constraints
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
SAT encoding of unification in EL
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
E-unification with Constants vs. General E-unification
Journal of Automated Reasoning
Hierarchical combination of intruder theories
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
Journal of Automated Reasoning
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Rule-Based Constraint Programming
Fundamenta Informaticae
CADE'13 Proceedings of the 24th international conference on Automated Deduction
| Hi-index | 0.00 |