IsaFoR

swMATH10106MaRDI QIDQ22075FDOQ22075

Author name not available (Why is that?)

Described by source

• Termination of Isabelle Functions via Termination of Rewriting

Cited In (3)

• AC Dependency Pairs Revisited
• Title not available (Why is that?)
• Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems

This page was built for software: IsaFoR