Matches in SemOpenAlex for { <https://semopenalex.org/work/W2533540073> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2533540073 endingPage "182" @default.
- W2533540073 startingPage "168" @default.
- W2533540073 abstract "In this paper a translation from a subclass of logic programs consisting of the simply moded logic programs into rewriting systems is defined. In these rewriting systems conditions and explicit substitutions may be present. We argue that our translation is more natural than previously studied ones and establish a result showing its correctness." @default.
- W2533540073 created "2016-10-28" @default.
- W2533540073 creator A5013625793 @default.
- W2533540073 date "1997-01-01" @default.
- W2533540073 modified "2023-09-23" @default.
- W2533540073 title "Translating Logic Programs into Conditional Rewriting Systems" @default.
- W2533540073 hasPublicationYear "1997" @default.
- W2533540073 type Work @default.
- W2533540073 sameAs 2533540073 @default.
- W2533540073 citedByCount "0" @default.
- W2533540073 crossrefType "journal-article" @default.
- W2533540073 hasAuthorship W2533540073A5013625793 @default.
- W2533540073 hasConcept C104317684 @default.
- W2533540073 hasConcept C105580179 @default.
- W2533540073 hasConcept C149364088 @default.
- W2533540073 hasConcept C154690210 @default.
- W2533540073 hasConcept C159654299 @default.
- W2533540073 hasConcept C185592680 @default.
- W2533540073 hasConcept C199360897 @default.
- W2533540073 hasConcept C203014093 @default.
- W2533540073 hasConcept C2776194381 @default.
- W2533540073 hasConcept C41008148 @default.
- W2533540073 hasConcept C55439883 @default.
- W2533540073 hasConcept C55493867 @default.
- W2533540073 hasConcept C77906462 @default.
- W2533540073 hasConcept C80444323 @default.
- W2533540073 hasConcept C86803240 @default.
- W2533540073 hasConceptScore W2533540073C104317684 @default.
- W2533540073 hasConceptScore W2533540073C105580179 @default.
- W2533540073 hasConceptScore W2533540073C149364088 @default.
- W2533540073 hasConceptScore W2533540073C154690210 @default.
- W2533540073 hasConceptScore W2533540073C159654299 @default.
- W2533540073 hasConceptScore W2533540073C185592680 @default.
- W2533540073 hasConceptScore W2533540073C199360897 @default.
- W2533540073 hasConceptScore W2533540073C203014093 @default.
- W2533540073 hasConceptScore W2533540073C2776194381 @default.
- W2533540073 hasConceptScore W2533540073C41008148 @default.
- W2533540073 hasConceptScore W2533540073C55439883 @default.
- W2533540073 hasConceptScore W2533540073C55493867 @default.
- W2533540073 hasConceptScore W2533540073C77906462 @default.
- W2533540073 hasConceptScore W2533540073C80444323 @default.
- W2533540073 hasConceptScore W2533540073C86803240 @default.
- W2533540073 hasLocation W25335400731 @default.
- W2533540073 hasOpenAccess W2533540073 @default.
- W2533540073 hasPrimaryLocation W25335400731 @default.
- W2533540073 hasRelatedWork W1484687406 @default.
- W2533540073 hasRelatedWork W1577544887 @default.
- W2533540073 hasRelatedWork W1590056785 @default.
- W2533540073 hasRelatedWork W1591642134 @default.
- W2533540073 hasRelatedWork W176905816 @default.
- W2533540073 hasRelatedWork W2011361820 @default.
- W2533540073 hasRelatedWork W2034484223 @default.
- W2533540073 hasRelatedWork W2038040550 @default.
- W2533540073 hasRelatedWork W2053867970 @default.
- W2533540073 hasRelatedWork W2057415021 @default.
- W2533540073 hasRelatedWork W2093199226 @default.
- W2533540073 hasRelatedWork W2137327104 @default.
- W2533540073 hasRelatedWork W2154580607 @default.
- W2533540073 hasRelatedWork W2287769028 @default.
- W2533540073 hasRelatedWork W2519955368 @default.
- W2533540073 hasRelatedWork W2594012524 @default.
- W2533540073 hasRelatedWork W2740875086 @default.
- W2533540073 hasRelatedWork W2953354833 @default.
- W2533540073 hasRelatedWork W2975211285 @default.
- W2533540073 hasRelatedWork W3083562928 @default.
- W2533540073 isParatext "false" @default.
- W2533540073 isRetracted "false" @default.
- W2533540073 magId "2533540073" @default.
- W2533540073 workType "article" @default.