Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497669095> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1497669095 endingPage "164" @default.
- W1497669095 startingPage "151" @default.
- W1497669095 abstract "Numerical computations form an essential part of almost any real-world program. Traditional approaches to termination of logic programs are restricted to domains isomorphic to ( mathcal{N} ) , more recent works study termination of integer computations. Termination of computations involving real numbers is cumbersome and counter-intuitive due to rounding errors and implementation conventions. We present a novel technique that allows us to prove termination of such computations. Our approach extends the previous work on termination of integer computations." @default.
- W1497669095 created "2016-06-24" @default.
- W1497669095 creator A5016846717 @default.
- W1497669095 creator A5024311222 @default.
- W1497669095 date "2002-01-01" @default.
- W1497669095 modified "2023-10-16" @default.
- W1497669095 title "On Termination of Logic Programs with Floating Point Computations" @default.
- W1497669095 cites W1526045365 @default.
- W1497669095 cites W1531068736 @default.
- W1497669095 cites W1536808037 @default.
- W1497669095 cites W1558066556 @default.
- W1497669095 cites W1652906309 @default.
- W1497669095 cites W1834328158 @default.
- W1497669095 cites W2011889853 @default.
- W1497669095 cites W2074516823 @default.
- W1497669095 cites W2127112332 @default.
- W1497669095 cites W2143441770 @default.
- W1497669095 cites W2166644419 @default.
- W1497669095 cites W2274183736 @default.
- W1497669095 doi "https://doi.org/10.1007/3-540-45789-5_13" @default.
- W1497669095 hasPublicationYear "2002" @default.
- W1497669095 type Work @default.
- W1497669095 sameAs 1497669095 @default.
- W1497669095 citedByCount "6" @default.
- W1497669095 crossrefType "book-chapter" @default.
- W1497669095 hasAuthorship W1497669095A5016846717 @default.
- W1497669095 hasAuthorship W1497669095A5024311222 @default.
- W1497669095 hasConcept C111919701 @default.
- W1497669095 hasConcept C11413529 @default.
- W1497669095 hasConcept C136625980 @default.
- W1497669095 hasConcept C173608175 @default.
- W1497669095 hasConcept C199360897 @default.
- W1497669095 hasConcept C2524010 @default.
- W1497669095 hasConcept C28719098 @default.
- W1497669095 hasConcept C33923547 @default.
- W1497669095 hasConcept C41008148 @default.
- W1497669095 hasConcept C45374587 @default.
- W1497669095 hasConcept C80444323 @default.
- W1497669095 hasConcept C84211073 @default.
- W1497669095 hasConcept C94375191 @default.
- W1497669095 hasConcept C97137487 @default.
- W1497669095 hasConceptScore W1497669095C111919701 @default.
- W1497669095 hasConceptScore W1497669095C11413529 @default.
- W1497669095 hasConceptScore W1497669095C136625980 @default.
- W1497669095 hasConceptScore W1497669095C173608175 @default.
- W1497669095 hasConceptScore W1497669095C199360897 @default.
- W1497669095 hasConceptScore W1497669095C2524010 @default.
- W1497669095 hasConceptScore W1497669095C28719098 @default.
- W1497669095 hasConceptScore W1497669095C33923547 @default.
- W1497669095 hasConceptScore W1497669095C41008148 @default.
- W1497669095 hasConceptScore W1497669095C45374587 @default.
- W1497669095 hasConceptScore W1497669095C80444323 @default.
- W1497669095 hasConceptScore W1497669095C84211073 @default.
- W1497669095 hasConceptScore W1497669095C94375191 @default.
- W1497669095 hasConceptScore W1497669095C97137487 @default.
- W1497669095 hasLocation W14976690951 @default.
- W1497669095 hasOpenAccess W1497669095 @default.
- W1497669095 hasPrimaryLocation W14976690951 @default.
- W1497669095 hasRelatedWork W1496121453 @default.
- W1497669095 hasRelatedWork W1524883003 @default.
- W1497669095 hasRelatedWork W1533194915 @default.
- W1497669095 hasRelatedWork W1540904225 @default.
- W1497669095 hasRelatedWork W1550747855 @default.
- W1497669095 hasRelatedWork W1553082912 @default.
- W1497669095 hasRelatedWork W1565933208 @default.
- W1497669095 hasRelatedWork W1584490456 @default.
- W1497669095 hasRelatedWork W1586790674 @default.
- W1497669095 hasRelatedWork W1597918680 @default.
- W1497669095 hasRelatedWork W1613058221 @default.
- W1497669095 hasRelatedWork W1834328158 @default.
- W1497669095 hasRelatedWork W1996679397 @default.
- W1497669095 hasRelatedWork W1999783590 @default.
- W1497669095 hasRelatedWork W2011889853 @default.
- W1497669095 hasRelatedWork W2015209525 @default.
- W1497669095 hasRelatedWork W2023578426 @default.
- W1497669095 hasRelatedWork W2043100293 @default.
- W1497669095 hasRelatedWork W2069300761 @default.
- W1497669095 hasRelatedWork W2074516823 @default.
- W1497669095 isParatext "false" @default.
- W1497669095 isRetracted "false" @default.
- W1497669095 magId "1497669095" @default.
- W1497669095 workType "book-chapter" @default.