Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076248384> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2076248384 abstract "In this paper we present some of the control constructs of the language CP, which is based on a concurrent interpretation of Horn logic programming. We present a formal structural operational semantics and relate the meaning of programs in this language to the underlying (pure) Horn clause axioms." @default.
- W2076248384 created "2016-06-24" @default.
- W2076248384 creator A5014251923 @default.
- W2076248384 date "1987-01-01" @default.
- W2076248384 modified "2023-10-16" @default.
- W2076248384 title "The concurrent logic programming language CP: Definition and operational semantics" @default.
- W2076248384 cites W108763789 @default.
- W2076248384 cites W147549601 @default.
- W2076248384 cites W1530974209 @default.
- W2076248384 cites W1541434994 @default.
- W2076248384 cites W1585399580 @default.
- W2076248384 cites W158887749 @default.
- W2076248384 cites W1620813057 @default.
- W2076248384 cites W1811602476 @default.
- W2076248384 cites W1965622519 @default.
- W2076248384 cites W2003990235 @default.
- W2076248384 cites W2008593634 @default.
- W2076248384 cites W2038945974 @default.
- W2076248384 cites W2110093720 @default.
- W2076248384 cites W2111646587 @default.
- W2076248384 cites W2143326699 @default.
- W2076248384 cites W2143382644 @default.
- W2076248384 cites W2147096558 @default.
- W2076248384 cites W2163058466 @default.
- W2076248384 cites W2912033870 @default.
- W2076248384 doi "https://doi.org/10.1145/41625.41630" @default.
- W2076248384 hasPublicationYear "1987" @default.
- W2076248384 type Work @default.
- W2076248384 sameAs 2076248384 @default.
- W2076248384 citedByCount "26" @default.
- W2076248384 countsByYear W20762483842016 @default.
- W2076248384 crossrefType "proceedings-article" @default.
- W2076248384 hasAuthorship W2076248384A5014251923 @default.
- W2076248384 hasConcept C128838566 @default.
- W2076248384 hasConcept C146499914 @default.
- W2076248384 hasConcept C150607116 @default.
- W2076248384 hasConcept C156325763 @default.
- W2076248384 hasConcept C167729594 @default.
- W2076248384 hasConcept C184337299 @default.
- W2076248384 hasConcept C189790780 @default.
- W2076248384 hasConcept C199360897 @default.
- W2076248384 hasConcept C207648694 @default.
- W2076248384 hasConcept C2524010 @default.
- W2076248384 hasConcept C33923547 @default.
- W2076248384 hasConcept C41008148 @default.
- W2076248384 hasConcept C527412718 @default.
- W2076248384 hasConcept C58041814 @default.
- W2076248384 hasConceptScore W2076248384C128838566 @default.
- W2076248384 hasConceptScore W2076248384C146499914 @default.
- W2076248384 hasConceptScore W2076248384C150607116 @default.
- W2076248384 hasConceptScore W2076248384C156325763 @default.
- W2076248384 hasConceptScore W2076248384C167729594 @default.
- W2076248384 hasConceptScore W2076248384C184337299 @default.
- W2076248384 hasConceptScore W2076248384C189790780 @default.
- W2076248384 hasConceptScore W2076248384C199360897 @default.
- W2076248384 hasConceptScore W2076248384C207648694 @default.
- W2076248384 hasConceptScore W2076248384C2524010 @default.
- W2076248384 hasConceptScore W2076248384C33923547 @default.
- W2076248384 hasConceptScore W2076248384C41008148 @default.
- W2076248384 hasConceptScore W2076248384C527412718 @default.
- W2076248384 hasConceptScore W2076248384C58041814 @default.
- W2076248384 hasLocation W20762483841 @default.
- W2076248384 hasOpenAccess W2076248384 @default.
- W2076248384 hasPrimaryLocation W20762483841 @default.
- W2076248384 hasRelatedWork W116227192 @default.
- W2076248384 hasRelatedWork W1520973258 @default.
- W2076248384 hasRelatedWork W1558307478 @default.
- W2076248384 hasRelatedWork W2137980890 @default.
- W2076248384 hasRelatedWork W2595534346 @default.
- W2076248384 hasRelatedWork W2738461706 @default.
- W2076248384 hasRelatedWork W783270985 @default.
- W2076248384 hasRelatedWork W2115176256 @default.
- W2076248384 hasRelatedWork W2469475466 @default.
- W2076248384 hasRelatedWork W2623023662 @default.
- W2076248384 isParatext "false" @default.
- W2076248384 isRetracted "false" @default.
- W2076248384 magId "2076248384" @default.
- W2076248384 workType "article" @default.