Cadmium

swMATH6507MaRDI QIDQ18606FDOQ18606

Author name not available (Why is that?)

Described by source

• Cadmium: An Implementation of ACD Term Rewriting

Cited In (3)

• Automatically improving constraint models in Savile Row
• Demand-Driven Normalisation for ACD Term Rewriting
• MiningZinc: a declarative framework for constraint-based mining

This page was built for software: Cadmium