| Original language | English |
|---|---|
| Publisher | s.n. |
| Number of pages | 9 |
| Publication status | Published - 2007 |
Publication series
| Name | Computing Research Repository (CoRR) |
|---|---|
| Volume | abs/cs/0701082 |
Recurrence with affine level mappings is P-time decidable for CLP(R)
F. Mesnard, A. Serebrenik
Research output: Book/Report › Report › Academic