Matches in SemOpenAlex for { <https://semopenalex.org/work/W1479715087> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1479715087 abstract "We give a proof-theoretic analysis of logic programs transformations, viewed as operations on proof trees in the sense of [3]" @default.
- W1479715087 created "2016-06-24" @default.
- W1479715087 creator A5021883093 @default.
- W1479715087 creator A5056525216 @default.
- W1479715087 date "1998-01-01" @default.
- W1479715087 modified "2023-09-23" @default.
- W1479715087 title "Towards a Logic for Reasoning About Logic Programs Transformation" @default.
- W1479715087 cites W1490937387 @default.
- W1479715087 cites W1975952423 @default.
- W1479715087 cites W1988185893 @default.
- W1479715087 cites W1988347771 @default.
- W1479715087 cites W2037035101 @default.
- W1479715087 cites W2077436409 @default.
- W1479715087 cites W2143073089 @default.
- W1479715087 cites W2143206373 @default.
- W1479715087 cites W3022987785 @default.
- W1479715087 cites W2134488876 @default.
- W1479715087 doi "https://doi.org/10.1007/3-540-49674-2_12" @default.
- W1479715087 hasPublicationYear "1998" @default.
- W1479715087 type Work @default.
- W1479715087 sameAs 1479715087 @default.
- W1479715087 citedByCount "1" @default.
- W1479715087 countsByYear W14797150872018 @default.
- W1479715087 crossrefType "book-chapter" @default.
- W1479715087 hasAuthorship W1479715087A5021883093 @default.
- W1479715087 hasAuthorship W1479715087A5056525216 @default.
- W1479715087 hasConcept C102993220 @default.
- W1479715087 hasConcept C104317684 @default.
- W1479715087 hasConcept C128838566 @default.
- W1479715087 hasConcept C185592680 @default.
- W1479715087 hasConcept C195344581 @default.
- W1479715087 hasConcept C199360897 @default.
- W1479715087 hasConcept C204241405 @default.
- W1479715087 hasConcept C2987117450 @default.
- W1479715087 hasConcept C41008148 @default.
- W1479715087 hasConcept C55493867 @default.
- W1479715087 hasConceptScore W1479715087C102993220 @default.
- W1479715087 hasConceptScore W1479715087C104317684 @default.
- W1479715087 hasConceptScore W1479715087C128838566 @default.
- W1479715087 hasConceptScore W1479715087C185592680 @default.
- W1479715087 hasConceptScore W1479715087C195344581 @default.
- W1479715087 hasConceptScore W1479715087C199360897 @default.
- W1479715087 hasConceptScore W1479715087C204241405 @default.
- W1479715087 hasConceptScore W1479715087C2987117450 @default.
- W1479715087 hasConceptScore W1479715087C41008148 @default.
- W1479715087 hasConceptScore W1479715087C55493867 @default.
- W1479715087 hasLocation W14797150871 @default.
- W1479715087 hasOpenAccess W1479715087 @default.
- W1479715087 hasPrimaryLocation W14797150871 @default.
- W1479715087 hasRelatedWork W136860365 @default.
- W1479715087 hasRelatedWork W1488887276 @default.
- W1479715087 hasRelatedWork W1501876253 @default.
- W1479715087 hasRelatedWork W1503791035 @default.
- W1479715087 hasRelatedWork W1514335004 @default.
- W1479715087 hasRelatedWork W1529790367 @default.
- W1479715087 hasRelatedWork W1557086397 @default.
- W1479715087 hasRelatedWork W1557487632 @default.
- W1479715087 hasRelatedWork W1577877660 @default.
- W1479715087 hasRelatedWork W1579536519 @default.
- W1479715087 hasRelatedWork W1595210817 @default.
- W1479715087 hasRelatedWork W1597806819 @default.
- W1479715087 hasRelatedWork W1600987490 @default.
- W1479715087 hasRelatedWork W1950048736 @default.
- W1479715087 hasRelatedWork W2074881045 @default.
- W1479715087 hasRelatedWork W646652464 @default.
- W1479715087 hasRelatedWork W82600474 @default.
- W1479715087 hasRelatedWork W1510141369 @default.
- W1479715087 hasRelatedWork W1866499192 @default.
- W1479715087 hasRelatedWork W67370669 @default.
- W1479715087 isParatext "false" @default.
- W1479715087 isRetracted "false" @default.
- W1479715087 magId "1479715087" @default.
- W1479715087 workType "book-chapter" @default.