Matches in SemOpenAlex for { <https://semopenalex.org/work/W46377526> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W46377526 endingPage "375" @default.
- W46377526 startingPage "361" @default.
- W46377526 abstract "Nominal logic programming is a form of logic programming with “concrete” names and binding, based on nominal logic, a theory of α-equivalence founded on swapping and freshness constraints. Previous papers have employed diverse characterizations of the semantics of nominal logic programs, including operational, denotational, and proof-theoretic characterizations; however, the formal properties and relationships among them have not been fully investigated. In this paper we give a uniform and improved presentation of these characterizations and prove appropriate soundness and completeness results. We also give some applications of these results." @default.
- W46377526 created "2016-06-24" @default.
- W46377526 creator A5056138547 @default.
- W46377526 date "2006-01-01" @default.
- W46377526 modified "2023-09-23" @default.
- W46377526 title "The Semantics of Nominal Logic Programs" @default.
- W46377526 cites W1480893018 @default.
- W46377526 cites W1493341897 @default.
- W46377526 cites W1508667711 @default.
- W46377526 cites W1594084984 @default.
- W46377526 cites W1600654899 @default.
- W46377526 cites W1814221162 @default.
- W46377526 cites W2075352622 @default.
- W46377526 cites W2093111544 @default.
- W46377526 cites W2093397547 @default.
- W46377526 cites W2161033077 @default.
- W46377526 cites W2180471721 @default.
- W46377526 cites W2912255765 @default.
- W46377526 cites W3146306767 @default.
- W46377526 cites W4206370914 @default.
- W46377526 cites W4232327280 @default.
- W46377526 doi "https://doi.org/10.1007/11799573_27" @default.
- W46377526 hasPublicationYear "2006" @default.
- W46377526 type Work @default.
- W46377526 sameAs 46377526 @default.
- W46377526 citedByCount "2" @default.
- W46377526 crossrefType "book-chapter" @default.
- W46377526 hasAuthorship W46377526A5056138547 @default.
- W46377526 hasBestOaLocation W463775262 @default.
- W46377526 hasConcept C102993220 @default.
- W46377526 hasConcept C118615104 @default.
- W46377526 hasConcept C128838566 @default.
- W46377526 hasConcept C134306372 @default.
- W46377526 hasConcept C156325763 @default.
- W46377526 hasConcept C169896238 @default.
- W46377526 hasConcept C17231256 @default.
- W46377526 hasConcept C184337299 @default.
- W46377526 hasConcept C199360897 @default.
- W46377526 hasConcept C207648694 @default.
- W46377526 hasConcept C2780069185 @default.
- W46377526 hasConcept C33923547 @default.
- W46377526 hasConcept C39920170 @default.
- W46377526 hasConcept C41008148 @default.
- W46377526 hasConcept C80444323 @default.
- W46377526 hasConceptScore W46377526C102993220 @default.
- W46377526 hasConceptScore W46377526C118615104 @default.
- W46377526 hasConceptScore W46377526C128838566 @default.
- W46377526 hasConceptScore W46377526C134306372 @default.
- W46377526 hasConceptScore W46377526C156325763 @default.
- W46377526 hasConceptScore W46377526C169896238 @default.
- W46377526 hasConceptScore W46377526C17231256 @default.
- W46377526 hasConceptScore W46377526C184337299 @default.
- W46377526 hasConceptScore W46377526C199360897 @default.
- W46377526 hasConceptScore W46377526C207648694 @default.
- W46377526 hasConceptScore W46377526C2780069185 @default.
- W46377526 hasConceptScore W46377526C33923547 @default.
- W46377526 hasConceptScore W46377526C39920170 @default.
- W46377526 hasConceptScore W46377526C41008148 @default.
- W46377526 hasConceptScore W46377526C80444323 @default.
- W46377526 hasLocation W463775261 @default.
- W46377526 hasLocation W463775262 @default.
- W46377526 hasOpenAccess W46377526 @default.
- W46377526 hasPrimaryLocation W463775261 @default.
- W46377526 hasRelatedWork W135120204 @default.
- W46377526 hasRelatedWork W1502761127 @default.
- W46377526 hasRelatedWork W1593507982 @default.
- W46377526 hasRelatedWork W1976684752 @default.
- W46377526 hasRelatedWork W2092054572 @default.
- W46377526 hasRelatedWork W2153980583 @default.
- W46377526 hasRelatedWork W2185409361 @default.
- W46377526 hasRelatedWork W2548065651 @default.
- W46377526 hasRelatedWork W2973978040 @default.
- W46377526 hasRelatedWork W1678966650 @default.
- W46377526 isParatext "false" @default.
- W46377526 isRetracted "false" @default.
- W46377526 magId "46377526" @default.
- W46377526 workType "book-chapter" @default.