CoLL

swMATH13633MaRDI QIDQ25547FDOQ25547

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-21401-6_8

Described by source

• CoLL: a confluence tool for left-linear term rewrite systems

Cited In (11)

• CSI: new evidence -- a progress report
• Certification of classical confluence results for left-linear term rewrite systems
• CSI
• CRC 3
• IsaFoR
• CoCoWeb
• Cops
• Diophantine
• FORT
• A formally verified solver for homogeneous linear Diophantine equations
• FORT 2.0

This page was built for software: CoLL