Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
View source
View history
Discussion
English
Log in

CoLL

From MaRDI portal
(Redirected from Software:25547)
Jump to:navigation, search



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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=CoLL&oldid=56277969"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 March 2026, at 06:53. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki