TCHR

swMATH1345MaRDI QIDQ14085FDOQ14085

Author name not available (Why is that?)

Official website: http://arxiv.org/pdf/0712.3830v1.pdf

Described by source

• TCHR: a framework for tabled CLP

Cited In (4)

• Thermochemical heat release of laminar stagnation flames of fuel and oxygen
• Description, implementation, and evaluation of a generic design for tabled CLP
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
• CAT

This page was built for software: TCHR