Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566407764> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1566407764 abstract "After introducing the method of indeterminate coefficients, by which we can derive all finite models satisfying a given set of axioms, we derive all models of 8 elements of Kleene algebra by using the method, and find out many examples of a set of independent and complete axioms of Kleene algebra by checking whether each axiom in Kleene algebra is independent from others or not based on the method." @default.
- W1566407764 created "2016-06-24" @default.
- W1566407764 creator A5020995665 @default.
- W1566407764 creator A5035875969 @default.
- W1566407764 date "2003-01-20" @default.
- W1566407764 modified "2023-09-27" @default.
- W1566407764 title "Clarifying the axioms of Kleene algebra based on the method of indeterminate coefficients" @default.
- W1566407764 cites W2912565176 @default.
- W1566407764 doi "https://doi.org/10.1109/ismvl.1999.779706" @default.
- W1566407764 hasPublicationYear "2003" @default.
- W1566407764 type Work @default.
- W1566407764 sameAs 1566407764 @default.
- W1566407764 citedByCount "7" @default.
- W1566407764 crossrefType "proceedings-article" @default.
- W1566407764 hasAuthorship W1566407764A5020995665 @default.
- W1566407764 hasAuthorship W1566407764A5035875969 @default.
- W1566407764 hasConcept C118615104 @default.
- W1566407764 hasConcept C123260079 @default.
- W1566407764 hasConcept C136119220 @default.
- W1566407764 hasConcept C151797676 @default.
- W1566407764 hasConcept C153046414 @default.
- W1566407764 hasConcept C167729594 @default.
- W1566407764 hasConcept C177264268 @default.
- W1566407764 hasConcept C199360897 @default.
- W1566407764 hasConcept C202444582 @default.
- W1566407764 hasConcept C206470798 @default.
- W1566407764 hasConcept C2524010 @default.
- W1566407764 hasConcept C33923547 @default.
- W1566407764 hasConcept C41008148 @default.
- W1566407764 hasConcept C94624232 @default.
- W1566407764 hasConceptScore W1566407764C118615104 @default.
- W1566407764 hasConceptScore W1566407764C123260079 @default.
- W1566407764 hasConceptScore W1566407764C136119220 @default.
- W1566407764 hasConceptScore W1566407764C151797676 @default.
- W1566407764 hasConceptScore W1566407764C153046414 @default.
- W1566407764 hasConceptScore W1566407764C167729594 @default.
- W1566407764 hasConceptScore W1566407764C177264268 @default.
- W1566407764 hasConceptScore W1566407764C199360897 @default.
- W1566407764 hasConceptScore W1566407764C202444582 @default.
- W1566407764 hasConceptScore W1566407764C206470798 @default.
- W1566407764 hasConceptScore W1566407764C2524010 @default.
- W1566407764 hasConceptScore W1566407764C33923547 @default.
- W1566407764 hasConceptScore W1566407764C41008148 @default.
- W1566407764 hasConceptScore W1566407764C94624232 @default.
- W1566407764 hasLocation W15664077641 @default.
- W1566407764 hasOpenAccess W1566407764 @default.
- W1566407764 hasPrimaryLocation W15664077641 @default.
- W1566407764 hasRelatedWork W1508864478 @default.
- W1566407764 hasRelatedWork W1560329072 @default.
- W1566407764 hasRelatedWork W1678894354 @default.
- W1566407764 hasRelatedWork W2030984848 @default.
- W1566407764 hasRelatedWork W2057631483 @default.
- W1566407764 hasRelatedWork W2076156443 @default.
- W1566407764 hasRelatedWork W2114934202 @default.
- W1566407764 hasRelatedWork W2143150930 @default.
- W1566407764 hasRelatedWork W2152477936 @default.
- W1566407764 hasRelatedWork W2160312815 @default.
- W1566407764 hasRelatedWork W2345350790 @default.
- W1566407764 hasRelatedWork W244430048 @default.
- W1566407764 hasRelatedWork W2496744678 @default.
- W1566407764 hasRelatedWork W2593641697 @default.
- W1566407764 hasRelatedWork W2611361880 @default.
- W1566407764 hasRelatedWork W2614883855 @default.
- W1566407764 hasRelatedWork W2996782717 @default.
- W1566407764 hasRelatedWork W3045958053 @default.
- W1566407764 hasRelatedWork W2104312161 @default.
- W1566407764 hasRelatedWork W2565952894 @default.
- W1566407764 isParatext "false" @default.
- W1566407764 isRetracted "false" @default.
- W1566407764 magId "1566407764" @default.
- W1566407764 workType "article" @default.