Tsukuba
From MaRDI portal
Cited in
(17)- RAPT
- CiME
- CARIBOO
- InvX
- TPA
- Matchbox
- TORPA
- Proving operational termination of membership equational programs
- Automating the dependency pair method
- Modular and incremental automated termination proofs
- RAPT: A Program Transformation System Based on Term Rewriting
- scientific article; zbMATH DE number 2043537 (Why is no real title available?)
- Automated Reasoning
- Term Rewriting and Applications
- Termination of string rewriting proved automatically
- Mechanically proving termination using polynomial interpretations
- Tyrolean termination tool: techniques and features
This page was built for software: Tsukuba
