Higher-order equational logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Constraints in computational logics
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Satisfying subtype inequalities in polynomial space
Theoretical Computer Science
Compatibility of Systems of Linear Constraints over the Set of Natural Numbers
Cybernetics and Systems Analysis
Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
Unification Types of Completely Regular Semigroups
Journal of Automated Reasoning
Dominance Constraints in Context Unification
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
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
Complete Strategies for Term Graph Narrowing
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
On Coherence Properties in Team Rewriting Models of Concurrency
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Reasoning Inductively about Z Specifications via Unification
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
In Search of a Phase Transition in the AC-Matching Problem
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A New Equational Foundation for the Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
Decidability of Bounded Higher-Order Unification
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Pythagorean Triples in Unification Theory of Nilpotent Rings
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
The Def-inite Approach to Dependency Analysis
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Solving linear equations over polynomial semirings
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Paramodulation with Built-In Abelian Groups
LICS '00 Proceedings of the 15th 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
Meta-circular abstract interpretation in prolog
The essence of computation
On the complexity of equational problems in CNF
Journal of Symbolic Computation - Special issue: First order theorem proving
Algorithms of Solution of Systems of Linear Diophantine Constraints over the Set {0,1}
Cybernetics and Systems Analysis
Decidability of bounded second order unification
Information and Computation
Superposition with completely built-in Abelian groups
Journal of Symbolic Computation
A uniform approach to underspecification and parallelism
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
On Deciding Subsumption Problems
Annals of Mathematics and Artificial Intelligence
Information and Computation
Modeling dialogue with mixed initiative in design space exploration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing - Special Issue: Design Spaces: The Explicit Representation of Spaces of Alternatives
Algorithms for solution of systems of linear diophantine equations in residue fields
Cybernetics and Systems Analysis
A semantic framework for open processes
Theoretical Computer Science
Undecidability of the unification and admissibility problems for modal and description logics
ACM Transactions on Computational Logic (TOCL)
Structural characterizations of schema-mapping languages
Proceedings of the 12th International Conference on Database Theory
Cybernetics and Systems Analysis
Information and Computation
Decidability of bounded higher-order unification
Journal of Symbolic Computation
The unification type of the Pythagorean equation in varieties of nilpotent rings
Journal of Symbolic Computation
A word equation solver based on Levensthein distance
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Non-standard inferences in description logics
Non-standard inferences in description logics
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Unification and matching on compressed terms
ACM Transactions on Computational Logic (TOCL)
Incremental clone detection and elimination for erlang programs
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Best Unifiers in Transitive Modal Logics
Studia Logica
Concept type hierarchy as ontology: an example historical knowledge base
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Algebraic Foundations in Computer Science
Lazy narrowing with simplification
Computer Languages
Theoretical Computer Science
UNIFICATION MODULO ACI + 1 + 0
Fundamenta Informaticae
Planning in the large: efficient generation of IT change plans on large infrastructures
Proceedings of the 8th International Conference on Network and Service Management
Hi-index | 0.00 |