Is there an axiomatic semantics for standard pure prolog?
Work
Year: 1991
Type: article
Source: Theoretical Computer Science
Authors François Denis, Jean-Paul Delahaye
Institution Centre National de la Recherche Scientifique
Cites: 28
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze