CoLL

MaRDI QIDQ25547swMATHFDO

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

This page was built for software: CoLL