Modular termination proofs for rewriting using dependency pairs
Journal of Symbolic Computation
On Automating Inductive and Non-inductive Termination Methods
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
An upper bound on the derivational complexity of Knuth--Bendix orderings
Information and Computation - Special issue: ICC '99
Orienting rewrite rules with the Knuth--Bendix order
Information and Computation - RTA 2001
Knuth--bendix constraint solving is NP-complete
ACM Transactions on Computational Logic (TOCL)
Tyrolean termination tool: Techniques and features
Information and Computation
Journal of Automated Reasoning
Transforming SAT into Termination of Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing a fair monodic temporal logic prover
AI Communications - Practical Aspects of Automated Reasoning
An extension of the Knuth-Bendix ordering with LPO-like properties
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Decision procedures for automating termination proofs
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Ordinals and knuth-bendix orders
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On The Diversity Of Orderings On Strings
Fundamenta Informaticae
Simplification Orderings: History Of Results
Fundamenta Informaticae
Hi-index | 0.00 |