Matches in SemOpenAlex for { <https://semopenalex.org/work/W1775764070> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1775764070 endingPage "115" @default.
- W1775764070 startingPage "102" @default.
- W1775764070 abstract "We present the formal description of an algorithm to filter values from an infinite steam using a type theory based prover. The key aspect is that filters are partial co-recursive functions and we solve the problem of expressing partiality. We then show how to prove properties of this filter algorithm and we study an application computing the stream of all prime numbers." @default.
- W1775764070 created "2016-06-24" @default.
- W1775764070 creator A5013318461 @default.
- W1775764070 date "2005-01-01" @default.
- W1775764070 modified "2023-10-07" @default.
- W1775764070 title "Filters on CoInductive Streams, an Application to Eratosthenes’ Sieve" @default.
- W1775764070 cites W1480957705 @default.
- W1775764070 cites W1490282072 @default.
- W1775764070 cites W1491165055 @default.
- W1775764070 cites W1495567550 @default.
- W1775764070 cites W1515423457 @default.
- W1775764070 cites W1553511155 @default.
- W1775764070 cites W1566855903 @default.
- W1775764070 cites W1949275316 @default.
- W1775764070 cites W1971428712 @default.
- W1775764070 cites W1980786790 @default.
- W1775764070 cites W2023299380 @default.
- W1775764070 cites W2062950667 @default.
- W1775764070 cites W2135625856 @default.
- W1775764070 doi "https://doi.org/10.1007/11417170_9" @default.
- W1775764070 hasPublicationYear "2005" @default.
- W1775764070 type Work @default.
- W1775764070 sameAs 1775764070 @default.
- W1775764070 citedByCount "30" @default.
- W1775764070 countsByYear W17757640702012 @default.
- W1775764070 countsByYear W17757640702013 @default.
- W1775764070 countsByYear W17757640702014 @default.
- W1775764070 countsByYear W17757640702015 @default.
- W1775764070 countsByYear W17757640702016 @default.
- W1775764070 countsByYear W17757640702017 @default.
- W1775764070 countsByYear W17757640702019 @default.
- W1775764070 crossrefType "book-chapter" @default.
- W1775764070 hasAuthorship W1775764070A5013318461 @default.
- W1775764070 hasBestOaLocation W17757640702 @default.
- W1775764070 hasConcept C106131492 @default.
- W1775764070 hasConcept C108710211 @default.
- W1775764070 hasConcept C11413529 @default.
- W1775764070 hasConcept C114614502 @default.
- W1775764070 hasConcept C136119220 @default.
- W1775764070 hasConcept C184992742 @default.
- W1775764070 hasConcept C202444582 @default.
- W1775764070 hasConcept C2524010 @default.
- W1775764070 hasConcept C26517878 @default.
- W1775764070 hasConcept C31972630 @default.
- W1775764070 hasConcept C33923547 @default.
- W1775764070 hasConcept C38652104 @default.
- W1775764070 hasConcept C40220748 @default.
- W1775764070 hasConcept C41008148 @default.
- W1775764070 hasConceptScore W1775764070C106131492 @default.
- W1775764070 hasConceptScore W1775764070C108710211 @default.
- W1775764070 hasConceptScore W1775764070C11413529 @default.
- W1775764070 hasConceptScore W1775764070C114614502 @default.
- W1775764070 hasConceptScore W1775764070C136119220 @default.
- W1775764070 hasConceptScore W1775764070C184992742 @default.
- W1775764070 hasConceptScore W1775764070C202444582 @default.
- W1775764070 hasConceptScore W1775764070C2524010 @default.
- W1775764070 hasConceptScore W1775764070C26517878 @default.
- W1775764070 hasConceptScore W1775764070C31972630 @default.
- W1775764070 hasConceptScore W1775764070C33923547 @default.
- W1775764070 hasConceptScore W1775764070C38652104 @default.
- W1775764070 hasConceptScore W1775764070C40220748 @default.
- W1775764070 hasConceptScore W1775764070C41008148 @default.
- W1775764070 hasLocation W17757640701 @default.
- W1775764070 hasLocation W17757640702 @default.
- W1775764070 hasLocation W17757640703 @default.
- W1775764070 hasLocation W17757640704 @default.
- W1775764070 hasOpenAccess W1775764070 @default.
- W1775764070 hasPrimaryLocation W17757640701 @default.
- W1775764070 hasRelatedWork W2010720345 @default.
- W1775764070 hasRelatedWork W2184427155 @default.
- W1775764070 hasRelatedWork W2185671459 @default.
- W1775764070 hasRelatedWork W2329452785 @default.
- W1775764070 hasRelatedWork W2356380379 @default.
- W1775764070 hasRelatedWork W2364562957 @default.
- W1775764070 hasRelatedWork W2404664685 @default.
- W1775764070 hasRelatedWork W2899084033 @default.
- W1775764070 hasRelatedWork W3027915305 @default.
- W1775764070 hasRelatedWork W4303684388 @default.
- W1775764070 isParatext "false" @default.
- W1775764070 isRetracted "false" @default.
- W1775764070 magId "1775764070" @default.
- W1775764070 workType "book-chapter" @default.