Tsukuba
From MaRDI portal
Cited in
(17)- scientific article; zbMATH DE number 2043537 (Why is no real title available?)
- 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
- RAPT
- CiME
- CARIBOO
- InvX
- Matchbox
- TPA
- TORPA
- Automated Reasoning
- 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
