- Record: found
- Abstract: not found
- Article: not found
On the declarative and procedural semantics of definite metalogic programs
Read this article at
ScienceOpenPublisher
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