ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Unification Modulo Associativity and Idempotency Is NP-complete
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
A Confluent Theory Connection Calculus
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Paramodulation with Built-In Abelian Groups
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Superposition with completely built-in Abelian groups
Journal of Symbolic Computation
Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation
Journal of Computer Security
Theory and Practice of Logic Programming
Solving quantified verification conditions using satisfiability modulo theories
Annals of Mathematics and Artificial Intelligence
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Anti-unification algorithms and their applications in program analysis
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Hi-index | 0.00 |