Tsukuba

swMATH10116MaRDI QIDQ22085FDOQ22085

Author name not available (Why is that?)

Cited In (10)

• 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
• 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