A decision procedure for term algebras with queues
ACM Transactions on Computational Logic (TOCL)
Constraints in computational logics
Complexity of Linear Standard Theories
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
On the Confluence of Linear Shallow Term Rewrite Systems
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
On the Confluence of Linear Shallow Term Rewrite Systems
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
The Unification Problem for Confluent Right-Ground Term Rewriting Systems
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Set constraints with intersection
Information and Computation - Special issue: LICS'97
Basic Paramodulation and Decidable Theories
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The unification problem for confluent right-ground term rewriting systems
Information and Computation - RTA 2001
Parallelizing functional programs by generalization
Journal of Functional Programming
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming
Termination of narrowing revisited
Theoretical Computer Science
Confluence of shallow right-linear rewrite systems
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Solving first order formulae of pseudo-regular theory
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
The confluence problem for flat TRSs
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications
| Hi-index | 0.00 |