Towards a Generic Trace for Rule Based...
URL: https://inria.hal.science/hal-00690604
Dataset description:
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in...
Source: Towards a Generic Trace for Rule Based Constraint Reasoning
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 20, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | cc92f199-8935-43a4-9b45-0a898533deba |
| Package id | oai-hal-hal-00690604v1 |
| Resource type | HTML |
| State | active |