FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1573294285> ?p ?o ?g. }

• W1573294285 abstract "This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more powerful but very expensive. Here, we develop an intermediate analysis in both aspects, efficiency and power. The improvement in efficiency is obtained by speeding up the fixpoint calculation by means of a widening operator, and the representation of functions through easily comparable signatures. Also details about the implementation and its cost are given." @default.
• W1573294285 created "2016-06-24" @default.
• W1573294285 creator A5016044555 @default.
• W1573294285 creator A5047190780 @default.
• W1573294285 date "2002-01-01" @default.
• W1573294285 modified "2023-09-30" @default.
• W1573294285 title "A Polynomial-Cost Non-determinism Analysis" @default.
• W1573294285 cites W1508259349 @default.
• W1573294285 cites W1592922501 @default.
• W1573294285 cites W1924152497 @default.
• W1573294285 cites W1965996801 @default.
• W1573294285 cites W2014764321 @default.
• W1573294285 cites W2043100293 @default.
• W1573294285 cites W2048706733 @default.
• W1573294285 cites W2049803057 @default.
• W1573294285 cites W34814984 @default.
• W1573294285 cites W4235555026 @default.
• W1573294285 doi "https://doi.org/10.1007/3-540-46028-4_8" @default.
• W1573294285 hasPublicationYear "2002" @default.
• W1573294285 type Work @default.
• W1573294285 sameAs 1573294285 @default.
• W1573294285 citedByCount "3" @default.
• W1573294285 crossrefType "book-chapter" @default.
• W1573294285 hasAuthorship W1573294285A5016044555 @default.
• W1573294285 hasAuthorship W1573294285A5047190780 @default.
• W1573294285 hasConcept C104317684 @default.
• W1573294285 hasConcept C11413529 @default.
• W1573294285 hasConcept C121332964 @default.
• W1573294285 hasConcept C134306372 @default.
• W1573294285 hasConcept C158448853 @default.
• W1573294285 hasConcept C163258240 @default.
• W1573294285 hasConcept C169590947 @default.
• W1573294285 hasConcept C17020691 @default.
• W1573294285 hasConcept C17744445 @default.
• W1573294285 hasConcept C185592680 @default.
• W1573294285 hasConcept C192183473 @default.
• W1573294285 hasConcept C199360897 @default.
• W1573294285 hasConcept C199539241 @default.
• W1573294285 hasConcept C2776359362 @default.
• W1573294285 hasConcept C2778029271 @default.
• W1573294285 hasConcept C33923547 @default.
• W1573294285 hasConcept C41008148 @default.
• W1573294285 hasConcept C55493867 @default.
• W1573294285 hasConcept C61445026 @default.
• W1573294285 hasConcept C62520636 @default.
• W1573294285 hasConcept C77660490 @default.
• W1573294285 hasConcept C80444323 @default.
• W1573294285 hasConcept C86339819 @default.
• W1573294285 hasConcept C90119067 @default.
• W1573294285 hasConcept C94625758 @default.
• W1573294285 hasConceptScore W1573294285C104317684 @default.
• W1573294285 hasConceptScore W1573294285C11413529 @default.
• W1573294285 hasConceptScore W1573294285C121332964 @default.
• W1573294285 hasConceptScore W1573294285C134306372 @default.
• W1573294285 hasConceptScore W1573294285C158448853 @default.
• W1573294285 hasConceptScore W1573294285C163258240 @default.
• W1573294285 hasConceptScore W1573294285C169590947 @default.
• W1573294285 hasConceptScore W1573294285C17020691 @default.
• W1573294285 hasConceptScore W1573294285C17744445 @default.
• W1573294285 hasConceptScore W1573294285C185592680 @default.
• W1573294285 hasConceptScore W1573294285C192183473 @default.
• W1573294285 hasConceptScore W1573294285C199360897 @default.
• W1573294285 hasConceptScore W1573294285C199539241 @default.
• W1573294285 hasConceptScore W1573294285C2776359362 @default.
• W1573294285 hasConceptScore W1573294285C2778029271 @default.
• W1573294285 hasConceptScore W1573294285C33923547 @default.
• W1573294285 hasConceptScore W1573294285C41008148 @default.
• W1573294285 hasConceptScore W1573294285C55493867 @default.
• W1573294285 hasConceptScore W1573294285C61445026 @default.
• W1573294285 hasConceptScore W1573294285C62520636 @default.
• W1573294285 hasConceptScore W1573294285C77660490 @default.
• W1573294285 hasConceptScore W1573294285C80444323 @default.
• W1573294285 hasConceptScore W1573294285C86339819 @default.
• W1573294285 hasConceptScore W1573294285C90119067 @default.
• W1573294285 hasConceptScore W1573294285C94625758 @default.
• W1573294285 hasLocation W15732942851 @default.
• W1573294285 hasOpenAccess W1573294285 @default.
• W1573294285 hasPrimaryLocation W15732942851 @default.
• W1573294285 hasRelatedWork W1516382534 @default.
• W1573294285 hasRelatedWork W1517054710 @default.
• W1573294285 hasRelatedWork W1979201594 @default.
• W1573294285 hasRelatedWork W1994293250 @default.
• W1573294285 hasRelatedWork W2090106217 @default.
• W1573294285 hasRelatedWork W2167011442 @default.
• W1573294285 hasRelatedWork W2170360634 @default.
• W1573294285 hasRelatedWork W2182740669 @default.
• W1573294285 hasRelatedWork W2188019447 @default.
• W1573294285 hasRelatedWork W2463680238 @default.
• W1573294285 hasRelatedWork W2466180119 @default.
• W1573294285 hasRelatedWork W2529002779 @default.
• W1573294285 hasRelatedWork W2764063203 @default.
• W1573294285 hasRelatedWork W2795731851 @default.
• W1573294285 hasRelatedWork W2810322039 @default.
• W1573294285 hasRelatedWork W2964058227 @default.
• W1573294285 hasRelatedWork W3022854818 @default.
• W1573294285 hasRelatedWork W3023950212 @default.
• W1573294285 hasRelatedWork W3035395571 @default.
• W1573294285 hasRelatedWork W3087787574 @default.
• W1573294285 isParatext "false" @default.
• W1573294285 isRetracted "false" @default.

• next