Translating Logic Programs into Difference Logic

Tomi Janhunen

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Edition1.23
    Publication statusPublished - 2009
    MoE publication typeI2 ICT applications

    Cite this