Matches in SemOpenAlex for { <https://semopenalex.org/work/W169500913> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W169500913 endingPage "194" @default.
- W169500913 startingPage "179" @default.
- W169500913 abstract "Omega-regular algebras axiomatise the equational theory of omega-regular expressions as induced by omega-regular language identity. Wagner presented an omega-regular algebra which requires recursively defined side conditions in some of its axioms. We introduce a first-order Horn axiomatisation for which such conditions can be avoided because additive and multiplicative units are absent. We prove its completeness relative to Wagner’s result using categorical constructions for adjoining additive and multiplicative units.KeywordsRegular ExpressionEquational TheoryAxiom SystemRegular LanguageFree AlgebraThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W169500913 created "2016-06-24" @default.
- W169500913 creator A5004734550 @default.
- W169500913 creator A5041703995 @default.
- W169500913 date "2012-01-01" @default.
- W169500913 modified "2023-09-25" @default.
- W169500913 title "On Completeness of Omega-Regular Algebras" @default.
- W169500913 cites W1249704292 @default.
- W169500913 cites W137476671 @default.
- W169500913 cites W1523284847 @default.
- W169500913 cites W1600140070 @default.
- W169500913 cites W1772686893 @default.
- W169500913 cites W1859852581 @default.
- W169500913 cites W1968602591 @default.
- W169500913 cites W2142100108 @default.
- W169500913 cites W2149366752 @default.
- W169500913 cites W2163152086 @default.
- W169500913 cites W2401696820 @default.
- W169500913 cites W4210981569 @default.
- W169500913 cites W4212873283 @default.
- W169500913 cites W4250846042 @default.
- W169500913 cites W67968079 @default.
- W169500913 doi "https://doi.org/10.1007/978-3-642-33314-9_12" @default.
- W169500913 hasPublicationYear "2012" @default.
- W169500913 type Work @default.
- W169500913 sameAs 169500913 @default.
- W169500913 citedByCount "0" @default.
- W169500913 crossrefType "book-chapter" @default.
- W169500913 hasAuthorship W169500913A5004734550 @default.
- W169500913 hasAuthorship W169500913A5041703995 @default.
- W169500913 hasConcept C105795698 @default.
- W169500913 hasConcept C114614502 @default.
- W169500913 hasConcept C118615104 @default.
- W169500913 hasConcept C121332964 @default.
- W169500913 hasConcept C134306372 @default.
- W169500913 hasConcept C136119220 @default.
- W169500913 hasConcept C167729594 @default.
- W169500913 hasConcept C17231256 @default.
- W169500913 hasConcept C199343813 @default.
- W169500913 hasConcept C202444582 @default.
- W169500913 hasConcept C24890656 @default.
- W169500913 hasConcept C2524010 @default.
- W169500913 hasConcept C2777686260 @default.
- W169500913 hasConcept C2778355321 @default.
- W169500913 hasConcept C2779557605 @default.
- W169500913 hasConcept C33923547 @default.
- W169500913 hasConcept C42747912 @default.
- W169500913 hasConcept C5274069 @default.
- W169500913 hasConcept C62520636 @default.
- W169500913 hasConcept C71924100 @default.
- W169500913 hasConceptScore W169500913C105795698 @default.
- W169500913 hasConceptScore W169500913C114614502 @default.
- W169500913 hasConceptScore W169500913C118615104 @default.
- W169500913 hasConceptScore W169500913C121332964 @default.
- W169500913 hasConceptScore W169500913C134306372 @default.
- W169500913 hasConceptScore W169500913C136119220 @default.
- W169500913 hasConceptScore W169500913C167729594 @default.
- W169500913 hasConceptScore W169500913C17231256 @default.
- W169500913 hasConceptScore W169500913C199343813 @default.
- W169500913 hasConceptScore W169500913C202444582 @default.
- W169500913 hasConceptScore W169500913C24890656 @default.
- W169500913 hasConceptScore W169500913C2524010 @default.
- W169500913 hasConceptScore W169500913C2777686260 @default.
- W169500913 hasConceptScore W169500913C2778355321 @default.
- W169500913 hasConceptScore W169500913C2779557605 @default.
- W169500913 hasConceptScore W169500913C33923547 @default.
- W169500913 hasConceptScore W169500913C42747912 @default.
- W169500913 hasConceptScore W169500913C5274069 @default.
- W169500913 hasConceptScore W169500913C62520636 @default.
- W169500913 hasConceptScore W169500913C71924100 @default.
- W169500913 hasLocation W1695009131 @default.
- W169500913 hasOpenAccess W169500913 @default.
- W169500913 hasPrimaryLocation W1695009131 @default.
- W169500913 hasRelatedWork W106258060 @default.
- W169500913 hasRelatedWork W1486333087 @default.
- W169500913 hasRelatedWork W1579673254 @default.
- W169500913 hasRelatedWork W1723054161 @default.
- W169500913 hasRelatedWork W1970294481 @default.
- W169500913 hasRelatedWork W1992234386 @default.
- W169500913 hasRelatedWork W2033066257 @default.
- W169500913 hasRelatedWork W2092335410 @default.
- W169500913 hasRelatedWork W2133023849 @default.
- W169500913 hasRelatedWork W2263967233 @default.
- W169500913 hasRelatedWork W2319595945 @default.
- W169500913 hasRelatedWork W2345249953 @default.
- W169500913 hasRelatedWork W2468444292 @default.
- W169500913 hasRelatedWork W2729113569 @default.
- W169500913 hasRelatedWork W2951439955 @default.
- W169500913 hasRelatedWork W2963277410 @default.
- W169500913 hasRelatedWork W3099647140 @default.
- W169500913 hasRelatedWork W3108610421 @default.
- W169500913 hasRelatedWork W3145287507 @default.
- W169500913 hasRelatedWork W3175066819 @default.
- W169500913 isParatext "false" @default.
- W169500913 isRetracted "false" @default.
- W169500913 magId "169500913" @default.
- W169500913 workType "book-chapter" @default.