Recurrence with affine level mappings is P-time decidable for CLP(R)

F. Mesnard, A. Serebrenik

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Publishers.n.
    Number of pages9
    Publication statusPublished - 2007

    Publication series

    NameComputing Research Repository (CoRR)
    Volumeabs/cs/0701082

    Cite this