Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108695676> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2108695676 endingPage "114" @default.
- W2108695676 startingPage "90" @default.
- W2108695676 abstract "Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been introduced to describe dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [9], [10] and [12] for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis." @default.
- W2108695676 created "2016-06-24" @default.
- W2108695676 creator A5015760641 @default.
- W2108695676 creator A5030853031 @default.
- W2108695676 creator A5041306556 @default.
- W2108695676 creator A5052389888 @default.
- W2108695676 date "2004-01-01" @default.
- W2108695676 modified "2023-09-25" @default.
- W2108695676 title "Declarative Semantics of Input Consuming Logic Programs" @default.
- W2108695676 cites W1563640839 @default.
- W2108695676 cites W1578505496 @default.
- W2108695676 cites W1846507946 @default.
- W2108695676 cites W1935637172 @default.
- W2108695676 cites W1972712449 @default.
- W2108695676 cites W2008734514 @default.
- W2108695676 cites W2009286786 @default.
- W2108695676 cites W2021515159 @default.
- W2108695676 cites W2036315030 @default.
- W2108695676 cites W2055807110 @default.
- W2108695676 cites W2059709382 @default.
- W2108695676 cites W2061347040 @default.
- W2108695676 cites W2065067255 @default.
- W2108695676 cites W2089111669 @default.
- W2108695676 cites W2106356822 @default.
- W2108695676 cites W2111883026 @default.
- W2108695676 cites W2120869002 @default.
- W2108695676 cites W2134729504 @default.
- W2108695676 cites W2154930848 @default.
- W2108695676 cites W3022987785 @default.
- W2108695676 cites W4205307202 @default.
- W2108695676 doi "https://doi.org/10.1007/978-3-540-25951-0_4" @default.
- W2108695676 hasPublicationYear "2004" @default.
- W2108695676 type Work @default.
- W2108695676 sameAs 2108695676 @default.
- W2108695676 citedByCount "1" @default.
- W2108695676 crossrefType "book-chapter" @default.
- W2108695676 hasAuthorship W2108695676A5015760641 @default.
- W2108695676 hasAuthorship W2108695676A5030853031 @default.
- W2108695676 hasAuthorship W2108695676A5041306556 @default.
- W2108695676 hasAuthorship W2108695676A5052389888 @default.
- W2108695676 hasBestOaLocation W21086956762 @default.
- W2108695676 hasConcept C126255220 @default.
- W2108695676 hasConcept C128838566 @default.
- W2108695676 hasConcept C150607116 @default.
- W2108695676 hasConcept C156325763 @default.
- W2108695676 hasConcept C184337299 @default.
- W2108695676 hasConcept C195818886 @default.
- W2108695676 hasConcept C199360897 @default.
- W2108695676 hasConcept C206729178 @default.
- W2108695676 hasConcept C207648694 @default.
- W2108695676 hasConcept C33923547 @default.
- W2108695676 hasConcept C41008148 @default.
- W2108695676 hasConcept C80444323 @default.
- W2108695676 hasConceptScore W2108695676C126255220 @default.
- W2108695676 hasConceptScore W2108695676C128838566 @default.
- W2108695676 hasConceptScore W2108695676C150607116 @default.
- W2108695676 hasConceptScore W2108695676C156325763 @default.
- W2108695676 hasConceptScore W2108695676C184337299 @default.
- W2108695676 hasConceptScore W2108695676C195818886 @default.
- W2108695676 hasConceptScore W2108695676C199360897 @default.
- W2108695676 hasConceptScore W2108695676C206729178 @default.
- W2108695676 hasConceptScore W2108695676C207648694 @default.
- W2108695676 hasConceptScore W2108695676C33923547 @default.
- W2108695676 hasConceptScore W2108695676C41008148 @default.
- W2108695676 hasConceptScore W2108695676C80444323 @default.
- W2108695676 hasLocation W21086956761 @default.
- W2108695676 hasLocation W21086956762 @default.
- W2108695676 hasOpenAccess W2108695676 @default.
- W2108695676 hasPrimaryLocation W21086956761 @default.
- W2108695676 hasRelatedWork W1558467648 @default.
- W2108695676 hasRelatedWork W1855927527 @default.
- W2108695676 hasRelatedWork W190288445 @default.
- W2108695676 hasRelatedWork W2113956592 @default.
- W2108695676 hasRelatedWork W2116736728 @default.
- W2108695676 hasRelatedWork W2125406856 @default.
- W2108695676 hasRelatedWork W2160196023 @default.
- W2108695676 hasRelatedWork W2595534346 @default.
- W2108695676 hasRelatedWork W2623701236 @default.
- W2108695676 hasRelatedWork W3141773774 @default.
- W2108695676 isParatext "false" @default.
- W2108695676 isRetracted "false" @default.
- W2108695676 magId "2108695676" @default.
- W2108695676 workType "book-chapter" @default.