Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001036287> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2001036287 abstract "The paper presents the systematic exploration in the Theorema system of the theory of sets represented as sorted lists without duplications. This theory was build-up in parallel with the process of algorithm synthesis in the Theorema system. Sets are represented as ascending ordered lists without duplication, called monotone lists. The elements of the sets are assumed to be from an ordered domain. The representation is realized by two bijective functions R (from sets to lists) and S (from lists to sets) which are inverse to each other. This approach leads to more efficient algorithms then the ones for operating on sets represented as non-sorted lists." @default.
- W2001036287 created "2016-06-24" @default.
- W2001036287 creator A5001991801 @default.
- W2001036287 creator A5021113261 @default.
- W2001036287 date "2014-09-01" @default.
- W2001036287 modified "2023-09-26" @default.
- W2001036287 title "Theory exploration of sets represented as monotone lists" @default.
- W2001036287 cites W1606021777 @default.
- W2001036287 cites W1803381130 @default.
- W2001036287 cites W1978413491 @default.
- W2001036287 cites W2023342223 @default.
- W2001036287 cites W2056263775 @default.
- W2001036287 cites W2058596314 @default.
- W2001036287 cites W2066855489 @default.
- W2001036287 cites W2133093325 @default.
- W2001036287 cites W3010782316 @default.
- W2001036287 cites W3021872309 @default.
- W2001036287 doi "https://doi.org/10.1109/sisy.2014.6923579" @default.
- W2001036287 hasPublicationYear "2014" @default.
- W2001036287 type Work @default.
- W2001036287 sameAs 2001036287 @default.
- W2001036287 citedByCount "4" @default.
- W2001036287 countsByYear W20010362872015 @default.
- W2001036287 countsByYear W20010362872019 @default.
- W2001036287 crossrefType "proceedings-article" @default.
- W2001036287 hasAuthorship W2001036287A5001991801 @default.
- W2001036287 hasAuthorship W2001036287A5021113261 @default.
- W2001036287 hasConcept C11413529 @default.
- W2001036287 hasConcept C118615104 @default.
- W2001036287 hasConcept C134306372 @default.
- W2001036287 hasConcept C153046414 @default.
- W2001036287 hasConcept C177264268 @default.
- W2001036287 hasConcept C17744445 @default.
- W2001036287 hasConcept C199360897 @default.
- W2001036287 hasConcept C199539241 @default.
- W2001036287 hasConcept C24424167 @default.
- W2001036287 hasConcept C2524010 @default.
- W2001036287 hasConcept C2776359362 @default.
- W2001036287 hasConcept C2834757 @default.
- W2001036287 hasConcept C33923547 @default.
- W2001036287 hasConcept C36503486 @default.
- W2001036287 hasConcept C41008148 @default.
- W2001036287 hasConcept C80444323 @default.
- W2001036287 hasConcept C94625758 @default.
- W2001036287 hasConceptScore W2001036287C11413529 @default.
- W2001036287 hasConceptScore W2001036287C118615104 @default.
- W2001036287 hasConceptScore W2001036287C134306372 @default.
- W2001036287 hasConceptScore W2001036287C153046414 @default.
- W2001036287 hasConceptScore W2001036287C177264268 @default.
- W2001036287 hasConceptScore W2001036287C17744445 @default.
- W2001036287 hasConceptScore W2001036287C199360897 @default.
- W2001036287 hasConceptScore W2001036287C199539241 @default.
- W2001036287 hasConceptScore W2001036287C24424167 @default.
- W2001036287 hasConceptScore W2001036287C2524010 @default.
- W2001036287 hasConceptScore W2001036287C2776359362 @default.
- W2001036287 hasConceptScore W2001036287C2834757 @default.
- W2001036287 hasConceptScore W2001036287C33923547 @default.
- W2001036287 hasConceptScore W2001036287C36503486 @default.
- W2001036287 hasConceptScore W2001036287C41008148 @default.
- W2001036287 hasConceptScore W2001036287C80444323 @default.
- W2001036287 hasConceptScore W2001036287C94625758 @default.
- W2001036287 hasLocation W20010362871 @default.
- W2001036287 hasOpenAccess W2001036287 @default.
- W2001036287 hasPrimaryLocation W20010362871 @default.
- W2001036287 hasRelatedWork W1495566904 @default.
- W2001036287 hasRelatedWork W1534621335 @default.
- W2001036287 hasRelatedWork W1542549492 @default.
- W2001036287 hasRelatedWork W1579780491 @default.
- W2001036287 hasRelatedWork W163912312 @default.
- W2001036287 hasRelatedWork W2023463742 @default.
- W2001036287 hasRelatedWork W2049652711 @default.
- W2001036287 hasRelatedWork W2094982051 @default.
- W2001036287 hasRelatedWork W2112361708 @default.
- W2001036287 hasRelatedWork W2128318001 @default.
- W2001036287 hasRelatedWork W2134620338 @default.
- W2001036287 hasRelatedWork W2136729277 @default.
- W2001036287 hasRelatedWork W2164393635 @default.
- W2001036287 hasRelatedWork W2166363445 @default.
- W2001036287 hasRelatedWork W2522312616 @default.
- W2001036287 hasRelatedWork W2598224114 @default.
- W2001036287 hasRelatedWork W2746257670 @default.
- W2001036287 hasRelatedWork W2802024690 @default.
- W2001036287 hasRelatedWork W2977920847 @default.
- W2001036287 hasRelatedWork W2109412485 @default.
- W2001036287 isParatext "false" @default.
- W2001036287 isRetracted "false" @default.
- W2001036287 magId "2001036287" @default.
- W2001036287 workType "article" @default.