Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Cancellative abelian monoids and related structures in refutational theorem proving (Part I)
Journal of Symbolic Computation
Unification Modulo Associativity and Idempotency Is NP-complete
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
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
An Efficient Derivation for Elementary Formal Systems Based on Partial Unification
DS '01 Proceedings of the 4th International Conference on Discovery Science
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Solving linear equations over polynomial semirings
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theory and Practice of Logic Programming
Unification and Matching Modulo Leaf-Permutative Equational Presentations
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
SAT encoding of unification in EL
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Type inference for sublinear space functional programming
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
UNIFICATION MODULO ACI + 1 + 0
Fundamenta Informaticae
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |