Translatability and intranslatability results for certain classes of logic programs

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 2003
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameHelsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports
    PublisherHUT/Laboratory for Theoretical Computer Science
    No.A82

    Keywords

    • expressive power
    • modularity
    • translation function

    Cite this