ScienceOpen:
research and publishing network
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
Main menu
Blog
About
2
views
0
references
Top references
1
cited by
Most cited
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Google+
Facebook
Email
534,944
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
On the declarative and procedural semantics of definite metalogic programs
Authors:
C Higgins
Publication date:
1996
Journal:
Journal of Logic and Computation
Read this article at
ScienceOpen
Publisher
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
African e-Infrastructure Commons
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
Sign in to comment
Similar content
534,944
An abstract monadic semantics for value recursion
Authors:
Eugenio Moggi
,
Amr Sabry
Special imaging procedures
Authors:
DB Sodee
A method for specializing logic programs
Authors:
A Bossi
,
N Cocco
,
S Dulli
See all similar
Cited by
1
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming
Authors:
François Bry
See all cited by