Inference of polynomial invariants for...
URL: https://inria.hal.science/hal-00932351
Dataset description:
International audience
Source: Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 7, 2026 |
| Created | unknown |
| Format | HTML |
| License | No License Provided |
| Created | 6 months ago |
| Id | 2be7dd0f-bde5-4d15-b82b-0214502760a2 |
| Package id | oai-hal-hal-00932351v1 |
| Resource type | HTML |
| State | active |