Constraints in computational logics
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
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Applying Rewriting Techniques to the Verification of Erlang Processes
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Transformation techniques for context-sensitive rewrite systems
Journal of Functional Programming
Ensuring termination by typability
Information and Computation
Termination of abstract reduction systems
CATS '07 Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65
Termination of rewriting under strategies
ACM Transactions on Computational Logic (TOCL)
Languages: From Formal to Natural
Mobile processes and termination
Semantics and algebraic specification
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Processes, Terms and Cycles
Rewriting Computation and Proof
Jumping and escaping: Modular termination and the abstract path ordering
Theoretical Computer Science
| Hi-index | 0.00 |