CHR.js

swMATH28857MaRDI QIDQ40571FDOQ40571

Author name not available (Why is that?)

Cited In (2)

• Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity
• Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism

This page was built for software: CHR.js