Blog
About
Search
Advanced search

2
views
0
references
 Top references
1
cited by
 Most cited
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      534,944
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      On the declarative and procedural semantics of definite metalogic programs

      Authors:

      Publication date:

      Journal: 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
          DOI:: 10.1093/logcom/6.3.363

          Link to data:

          ScienceOpen disciplines: Theoretical computer science, Computer science

          Comments

          Comment on this article