Matches in SemOpenAlex for { <https://semopenalex.org/work/W3007940027> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W3007940027 abstract "It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to determine if a given set of axioms is the smallest or not. Malbos and Mimram investigated a general method to find a lower bound of the cardinality of the set of equational axioms (or rewrite rules) that is equivalent to a given equational theory (or term rewriting systems), using homological algebra. Their method is an analog of Squier's homology theory on string rewriting systems. In this paper, we develop the homology theory for term rewriting systems more and provide a better lower bound under a stronger notion of equivalence than their equivalence. The author also implemented a program to compute the lower bounds, and experimented with 64 complete TRSs." @default.
- W3007940027 created "2020-03-06" @default.
- W3007940027 creator A5089367354 @default.
- W3007940027 date "2022-09-21" @default.
- W3007940027 modified "2023-09-30" @default.
- W3007940027 title "A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods" @default.
- W3007940027 cites W1496412704 @default.
- W3007940027 cites W1503582975 @default.
- W3007940027 cites W1516116134 @default.
- W3007940027 cites W1542689491 @default.
- W3007940027 cites W1575371065 @default.
- W3007940027 cites W194157374 @default.
- W3007940027 cites W1964421058 @default.
- W3007940027 cites W1982916644 @default.
- W3007940027 cites W1986913345 @default.
- W3007940027 cites W1992245930 @default.
- W3007940027 cites W1994693829 @default.
- W3007940027 cites W2003559293 @default.
- W3007940027 cites W2012275678 @default.
- W3007940027 cites W2063938758 @default.
- W3007940027 cites W2093144183 @default.
- W3007940027 cites W2147182002 @default.
- W3007940027 cites W2161751413 @default.
- W3007940027 cites W2333555861 @default.
- W3007940027 cites W2490492614 @default.
- W3007940027 doi "https://doi.org/10.46298/lmcs-18(3:36)2022" @default.
- W3007940027 hasPublicationYear "2022" @default.
- W3007940027 type Work @default.
- W3007940027 sameAs 3007940027 @default.
- W3007940027 citedByCount "0" @default.
- W3007940027 crossrefType "journal-article" @default.
- W3007940027 hasAuthorship W3007940027A5089367354 @default.
- W3007940027 hasBestOaLocation W30079400271 @default.
- W3007940027 hasConcept C104317684 @default.
- W3007940027 hasConcept C118615104 @default.
- W3007940027 hasConcept C121332964 @default.
- W3007940027 hasConcept C124101348 @default.
- W3007940027 hasConcept C136119220 @default.
- W3007940027 hasConcept C154564781 @default.
- W3007940027 hasConcept C154690210 @default.
- W3007940027 hasConcept C157486923 @default.
- W3007940027 hasConcept C165525559 @default.
- W3007940027 hasConcept C167729594 @default.
- W3007940027 hasConcept C185592680 @default.
- W3007940027 hasConcept C199360897 @default.
- W3007940027 hasConcept C202444582 @default.
- W3007940027 hasConcept C2524010 @default.
- W3007940027 hasConcept C2780069185 @default.
- W3007940027 hasConcept C33923547 @default.
- W3007940027 hasConcept C37914503 @default.
- W3007940027 hasConcept C41008148 @default.
- W3007940027 hasConcept C55493867 @default.
- W3007940027 hasConcept C61797465 @default.
- W3007940027 hasConcept C62520636 @default.
- W3007940027 hasConcept C87117476 @default.
- W3007940027 hasConceptScore W3007940027C104317684 @default.
- W3007940027 hasConceptScore W3007940027C118615104 @default.
- W3007940027 hasConceptScore W3007940027C121332964 @default.
- W3007940027 hasConceptScore W3007940027C124101348 @default.
- W3007940027 hasConceptScore W3007940027C136119220 @default.
- W3007940027 hasConceptScore W3007940027C154564781 @default.
- W3007940027 hasConceptScore W3007940027C154690210 @default.
- W3007940027 hasConceptScore W3007940027C157486923 @default.
- W3007940027 hasConceptScore W3007940027C165525559 @default.
- W3007940027 hasConceptScore W3007940027C167729594 @default.
- W3007940027 hasConceptScore W3007940027C185592680 @default.
- W3007940027 hasConceptScore W3007940027C199360897 @default.
- W3007940027 hasConceptScore W3007940027C202444582 @default.
- W3007940027 hasConceptScore W3007940027C2524010 @default.
- W3007940027 hasConceptScore W3007940027C2780069185 @default.
- W3007940027 hasConceptScore W3007940027C33923547 @default.
- W3007940027 hasConceptScore W3007940027C37914503 @default.
- W3007940027 hasConceptScore W3007940027C41008148 @default.
- W3007940027 hasConceptScore W3007940027C55493867 @default.
- W3007940027 hasConceptScore W3007940027C61797465 @default.
- W3007940027 hasConceptScore W3007940027C62520636 @default.
- W3007940027 hasConceptScore W3007940027C87117476 @default.
- W3007940027 hasLocation W30079400271 @default.
- W3007940027 hasLocation W30079400272 @default.
- W3007940027 hasLocation W30079400273 @default.
- W3007940027 hasLocation W30079400274 @default.
- W3007940027 hasLocation W30079400275 @default.
- W3007940027 hasOpenAccess W3007940027 @default.
- W3007940027 hasPrimaryLocation W30079400271 @default.
- W3007940027 hasRelatedWork W1862544530 @default.
- W3007940027 hasRelatedWork W2000220836 @default.
- W3007940027 hasRelatedWork W2109420517 @default.
- W3007940027 hasRelatedWork W2137739624 @default.
- W3007940027 hasRelatedWork W2955958789 @default.
- W3007940027 hasRelatedWork W2986833796 @default.
- W3007940027 hasRelatedWork W3007940027 @default.
- W3007940027 hasRelatedWork W4200439499 @default.
- W3007940027 hasRelatedWork W4287863866 @default.
- W3007940027 hasRelatedWork W4302322145 @default.
- W3007940027 hasVolume "Volume 18, Issue 3" @default.
- W3007940027 isParatext "false" @default.
- W3007940027 isRetracted "false" @default.
- W3007940027 magId "3007940027" @default.
- W3007940027 workType "article" @default.