Matches in SemOpenAlex for { <https://semopenalex.org/work/W4256280462> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4256280462 abstract "A finitary axiomatization of the algebra of regular events involving only equations and equational implications that is sound for all interpretations over Kleene algebras is given. Axioms for Kleene algebra are presented, and some basic consequences are derived. Matrices over a Kleene algebra are considered. The notion of an automaton over an arbitrary Kleen algebra is defined and used to derive the classical results of the theory of finite automata as a result of the axioms. The completeness of the axioms for the algebra of regular events is treated. Open problems are indicated.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W4256280462 created "2022-05-12" @default.
- W4256280462 creator A5053923311 @default.
- W4256280462 date "2002-12-10" @default.
- W4256280462 modified "2023-09-27" @default.
- W4256280462 title "A completeness theorem for Kleene algebras and the algebra of regular events" @default.
- W4256280462 cites W1540039008 @default.
- W4256280462 cites W1570445666 @default.
- W4256280462 cites W1578332044 @default.
- W4256280462 cites W1607161872 @default.
- W4256280462 cites W2012920523 @default.
- W4256280462 cites W2076912520 @default.
- W4256280462 cites W2111229114 @default.
- W4256280462 cites W2149366752 @default.
- W4256280462 doi "https://doi.org/10.1109/lics.1991.151646" @default.
- W4256280462 hasPublicationYear "2002" @default.
- W4256280462 type Work @default.
- W4256280462 citedByCount "26" @default.
- W4256280462 countsByYear W42562804622014 @default.
- W4256280462 countsByYear W42562804622015 @default.
- W4256280462 countsByYear W42562804622016 @default.
- W4256280462 countsByYear W42562804622017 @default.
- W4256280462 countsByYear W42562804622018 @default.
- W4256280462 countsByYear W42562804622022 @default.
- W4256280462 crossrefType "proceedings-article" @default.
- W4256280462 hasAuthorship W4256280462A5053923311 @default.
- W4256280462 hasBestOaLocation W42562804622 @default.
- W4256280462 hasConcept C100899422 @default.
- W4256280462 hasConcept C112505250 @default.
- W4256280462 hasConcept C118615104 @default.
- W4256280462 hasConcept C123260079 @default.
- W4256280462 hasConcept C134306372 @default.
- W4256280462 hasConcept C136119220 @default.
- W4256280462 hasConcept C14394260 @default.
- W4256280462 hasConcept C154945302 @default.
- W4256280462 hasConcept C167729594 @default.
- W4256280462 hasConcept C170517529 @default.
- W4256280462 hasConcept C17231256 @default.
- W4256280462 hasConcept C188971069 @default.
- W4256280462 hasConcept C202444582 @default.
- W4256280462 hasConcept C206470798 @default.
- W4256280462 hasConcept C2524010 @default.
- W4256280462 hasConcept C2778003309 @default.
- W4256280462 hasConcept C33923547 @default.
- W4256280462 hasConcept C41008148 @default.
- W4256280462 hasConceptScore W4256280462C100899422 @default.
- W4256280462 hasConceptScore W4256280462C112505250 @default.
- W4256280462 hasConceptScore W4256280462C118615104 @default.
- W4256280462 hasConceptScore W4256280462C123260079 @default.
- W4256280462 hasConceptScore W4256280462C134306372 @default.
- W4256280462 hasConceptScore W4256280462C136119220 @default.
- W4256280462 hasConceptScore W4256280462C14394260 @default.
- W4256280462 hasConceptScore W4256280462C154945302 @default.
- W4256280462 hasConceptScore W4256280462C167729594 @default.
- W4256280462 hasConceptScore W4256280462C170517529 @default.
- W4256280462 hasConceptScore W4256280462C17231256 @default.
- W4256280462 hasConceptScore W4256280462C188971069 @default.
- W4256280462 hasConceptScore W4256280462C202444582 @default.
- W4256280462 hasConceptScore W4256280462C206470798 @default.
- W4256280462 hasConceptScore W4256280462C2524010 @default.
- W4256280462 hasConceptScore W4256280462C2778003309 @default.
- W4256280462 hasConceptScore W4256280462C33923547 @default.
- W4256280462 hasConceptScore W4256280462C41008148 @default.
- W4256280462 hasLocation W42562804621 @default.
- W4256280462 hasLocation W42562804622 @default.
- W4256280462 hasOpenAccess W4256280462 @default.
- W4256280462 hasPrimaryLocation W42562804621 @default.
- W4256280462 hasRelatedWork W145131776 @default.
- W4256280462 hasRelatedWork W1552824185 @default.
- W4256280462 hasRelatedWork W2052600614 @default.
- W4256280462 hasRelatedWork W2068047345 @default.
- W4256280462 hasRelatedWork W2163152086 @default.
- W4256280462 hasRelatedWork W2953324945 @default.
- W4256280462 hasRelatedWork W4256280462 @default.
- W4256280462 hasRelatedWork W4307316605 @default.
- W4256280462 hasRelatedWork W4323527483 @default.
- W4256280462 hasRelatedWork W4366207546 @default.
- W4256280462 isParatext "false" @default.
- W4256280462 isRetracted "false" @default.
- W4256280462 workType "article" @default.