Blog
About

1
views
0
recommends
+1 Recommend
0 collections
    0
    shares
    • Record: found
    • Abstract: not found
    • Article: not found

    On the declarative and procedural semantics of definite metalogic programs

    Journal of Logic and Computation

    Read this article at

    ScienceOpenPublisher
    Bookmark
        There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

        Related collections

        Author and article information

        Journal
        10.1093/logcom/6.3.363

        Theoretical computer science, Computer science

        Comments

        Comment on this article