swMATH10116MaRDI QIDQ22085FDOQ22085
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-44881-0_22
Cited In (16)
- Title not available (Why is that?)
- Proving operational termination of membership equational programs
- Term Rewriting and Applications
- Automating the dependency pair method
- RAPT: A Program Transformation System Based on Term Rewriting
- Mechanically proving termination using polynomial interpretations
- Automated Reasoning
- CiME
- CARIBOO
- InvX
- Matchbox
- TPA
- TORPA
- Modular and incremental automated termination proofs
- Tyrolean termination tool: techniques and features
- Termination of string rewriting proved automatically
This page was built for software: Tsukuba
