Logic program synthesis as problem reduction using combining forms

Jørgen Fischer Nilsson, Andreas Hamfelt, Steen Nikolaj Oldager

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalAutomated Software Engineering
    Volume8
    Issue number2
    Pages (from-to)167-193
    Publication statusPublished - 2001

    Cite this

    Nilsson, Jørgen Fischer ; Hamfelt, Andreas ; Oldager, Steen Nikolaj. / Logic program synthesis as problem reduction using combining forms. In: Automated Software Engineering. 2001 ; Vol. 8, No. 2. pp. 167-193.
    @article{4f2ed06e85ba40139ce90f6b3f88de9c,
    title = "Logic program synthesis as problem reduction using combining forms",
    author = "Nilsson, {J{\o}rgen Fischer} and Andreas Hamfelt and Oldager, {Steen Nikolaj}",
    year = "2001",
    language = "English",
    volume = "8",
    pages = "167--193",
    journal = "Automated Software Engineering",
    issn = "0928-8910",
    publisher = "Springer New York",
    number = "2",

    }

    Logic program synthesis as problem reduction using combining forms. / Nilsson, Jørgen Fischer; Hamfelt, Andreas; Oldager, Steen Nikolaj.

    In: Automated Software Engineering, Vol. 8, No. 2, 2001, p. 167-193.

    Research output: Contribution to journalJournal articleResearchpeer-review

    TY - JOUR

    T1 - Logic program synthesis as problem reduction using combining forms

    AU - Nilsson, Jørgen Fischer

    AU - Hamfelt, Andreas

    AU - Oldager, Steen Nikolaj

    PY - 2001

    Y1 - 2001

    M3 - Journal article

    VL - 8

    SP - 167

    EP - 193

    JO - Automated Software Engineering

    JF - Automated Software Engineering

    SN - 0928-8910

    IS - 2

    ER -