Cadmium

swMATH6507MaRDI QIDQ18606FDOQ18606

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1505244

Described by source

• Cadmium: An Implementation of ACD Term Rewriting

Cited In (5)

• G12
• MiningZinc
• 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