Matches in SemOpenAlex for { <https://semopenalex.org/work/W3099900407> ?p ?o ?g. }
- W3099900407 abstract "Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, Lob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings, which are additively idempotent semirings with forward and backward modal operators. To model infinite behaviours, idempotent semirings are extended to divergence semirings, divergence Kleene algebras and omega algebras. The resulting notions and techniques are used in calculational proofs of classical theorems of rewriting theory. These applications show that modal semirings are powerful tools for reasoning algebraically about the finite and infinite dynamics of programs and transition systems." @default.
- W3099900407 created "2020-11-23" @default.
- W3099900407 creator A5000109637 @default.
- W3099900407 creator A5004734550 @default.
- W3099900407 creator A5082334889 @default.
- W3099900407 date "2011-02-11" @default.
- W3099900407 modified "2023-09-27" @default.
- W3099900407 title "Algebraic Notions of Termination" @default.
- W3099900407 cites W1448942713 @default.
- W3099900407 cites W1480794577 @default.
- W3099900407 cites W1519319790 @default.
- W3099900407 cites W1521250667 @default.
- W3099900407 cites W1523284847 @default.
- W3099900407 cites W1552230033 @default.
- W3099900407 cites W1762364904 @default.
- W3099900407 cites W1986735214 @default.
- W3099900407 cites W1998368317 @default.
- W3099900407 cites W2016732604 @default.
- W3099900407 cites W2030865387 @default.
- W3099900407 cites W2045528636 @default.
- W3099900407 cites W2046213250 @default.
- W3099900407 cites W2068047345 @default.
- W3099900407 cites W2077631596 @default.
- W3099900407 cites W2085133105 @default.
- W3099900407 cites W2099163661 @default.
- W3099900407 cites W2134747543 @default.
- W3099900407 cites W2163152086 @default.
- W3099900407 cites W2230759561 @default.
- W3099900407 cites W4211144022 @default.
- W3099900407 cites W4239007999 @default.
- W3099900407 cites W4242309855 @default.
- W3099900407 cites W4248331534 @default.
- W3099900407 cites W4254354208 @default.
- W3099900407 doi "https://doi.org/10.2168/lmcs-7(1:1)2011" @default.
- W3099900407 hasPublicationYear "2011" @default.
- W3099900407 type Work @default.
- W3099900407 sameAs 3099900407 @default.
- W3099900407 citedByCount "14" @default.
- W3099900407 countsByYear W30999004072012 @default.
- W3099900407 countsByYear W30999004072013 @default.
- W3099900407 countsByYear W30999004072014 @default.
- W3099900407 countsByYear W30999004072015 @default.
- W3099900407 countsByYear W30999004072016 @default.
- W3099900407 countsByYear W30999004072018 @default.
- W3099900407 countsByYear W30999004072019 @default.
- W3099900407 countsByYear W30999004072020 @default.
- W3099900407 countsByYear W30999004072021 @default.
- W3099900407 crossrefType "journal-article" @default.
- W3099900407 hasAuthorship W3099900407A5000109637 @default.
- W3099900407 hasAuthorship W3099900407A5004734550 @default.
- W3099900407 hasAuthorship W3099900407A5082334889 @default.
- W3099900407 hasBestOaLocation W30999004071 @default.
- W3099900407 hasConcept C108710211 @default.
- W3099900407 hasConcept C118615104 @default.
- W3099900407 hasConcept C134306372 @default.
- W3099900407 hasConcept C136119220 @default.
- W3099900407 hasConcept C138885662 @default.
- W3099900407 hasConcept C154690210 @default.
- W3099900407 hasConcept C172252984 @default.
- W3099900407 hasConcept C185592680 @default.
- W3099900407 hasConcept C188027245 @default.
- W3099900407 hasConcept C199360897 @default.
- W3099900407 hasConcept C202444582 @default.
- W3099900407 hasConcept C206470798 @default.
- W3099900407 hasConcept C207390915 @default.
- W3099900407 hasConcept C2524010 @default.
- W3099900407 hasConcept C33923547 @default.
- W3099900407 hasConcept C41008148 @default.
- W3099900407 hasConcept C41895202 @default.
- W3099900407 hasConcept C71139939 @default.
- W3099900407 hasConcept C9376300 @default.
- W3099900407 hasConceptScore W3099900407C108710211 @default.
- W3099900407 hasConceptScore W3099900407C118615104 @default.
- W3099900407 hasConceptScore W3099900407C134306372 @default.
- W3099900407 hasConceptScore W3099900407C136119220 @default.
- W3099900407 hasConceptScore W3099900407C138885662 @default.
- W3099900407 hasConceptScore W3099900407C154690210 @default.
- W3099900407 hasConceptScore W3099900407C172252984 @default.
- W3099900407 hasConceptScore W3099900407C185592680 @default.
- W3099900407 hasConceptScore W3099900407C188027245 @default.
- W3099900407 hasConceptScore W3099900407C199360897 @default.
- W3099900407 hasConceptScore W3099900407C202444582 @default.
- W3099900407 hasConceptScore W3099900407C206470798 @default.
- W3099900407 hasConceptScore W3099900407C207390915 @default.
- W3099900407 hasConceptScore W3099900407C2524010 @default.
- W3099900407 hasConceptScore W3099900407C33923547 @default.
- W3099900407 hasConceptScore W3099900407C41008148 @default.
- W3099900407 hasConceptScore W3099900407C41895202 @default.
- W3099900407 hasConceptScore W3099900407C71139939 @default.
- W3099900407 hasConceptScore W3099900407C9376300 @default.
- W3099900407 hasFunder F4320334593 @default.
- W3099900407 hasLocation W30999004071 @default.
- W3099900407 hasLocation W30999004072 @default.
- W3099900407 hasLocation W30999004073 @default.
- W3099900407 hasLocation W30999004074 @default.
- W3099900407 hasLocation W30999004075 @default.
- W3099900407 hasOpenAccess W3099900407 @default.
- W3099900407 hasPrimaryLocation W30999004071 @default.
- W3099900407 hasRelatedWork W1519319790 @default.
- W3099900407 hasRelatedWork W1998368317 @default.