Matches in SemOpenAlex for { <https://semopenalex.org/work/W2231036786> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2231036786 abstract "Families of binary relations are important interpretations of regular expressions, and the equivalence of two regular expressions with respect to their relational interpretations is decidable: the problem reduces to the equality of the denoted regular languages.Putting together a few results from the literature, we first make explicit a generalisation of this reduction, for regular expressions extended with converse and intersection: instead of considering sets of words (i.e., formal languages), one has to consider sets of directed and labelled graphs.We then focus on identity-free regular expressions with intersection—a setting where the above graphs are acyclic—and we show that the corresponding equational theory is decidable. We achieve this by defining an automaton model, based on Petri Nets, to recognise these sets of acyclic graphs, and by providing an algorithm to compare such automata." @default.
- W2231036786 created "2016-06-24" @default.
- W2231036786 creator A5022298422 @default.
- W2231036786 creator A5084356882 @default.
- W2231036786 date "2014-01-01" @default.
- W2231036786 modified "2023-09-27" @default.
- W2231036786 title "Decidability of Identity-free Relational Kleene Lattices" @default.
- W2231036786 cites W1528678243 @default.
- W2231036786 cites W155615416 @default.
- W2231036786 cites W1561267729 @default.
- W2231036786 cites W1570445666 @default.
- W2231036786 cites W1570949334 @default.
- W2231036786 cites W191497389 @default.
- W2231036786 cites W1975977228 @default.
- W2231036786 cites W1993804761 @default.
- W2231036786 cites W1996109622 @default.
- W2231036786 cites W2049894505 @default.
- W2231036786 cites W2087081229 @default.
- W2231036786 cites W2111229114 @default.
- W2231036786 cites W2163152086 @default.
- W2231036786 cites W3150132563 @default.
- W2231036786 hasPublicationYear "2014" @default.
- W2231036786 type Work @default.
- W2231036786 sameAs 2231036786 @default.
- W2231036786 citedByCount "0" @default.
- W2231036786 crossrefType "report" @default.
- W2231036786 hasAuthorship W2231036786A5022298422 @default.
- W2231036786 hasAuthorship W2231036786A5084356882 @default.
- W2231036786 hasBestOaLocation W22310367861 @default.
- W2231036786 hasConcept C107038049 @default.
- W2231036786 hasConcept C118615104 @default.
- W2231036786 hasConcept C136119220 @default.
- W2231036786 hasConcept C138885662 @default.
- W2231036786 hasConcept C153269930 @default.
- W2231036786 hasConcept C202444582 @default.
- W2231036786 hasConcept C206470798 @default.
- W2231036786 hasConcept C2778355321 @default.
- W2231036786 hasConcept C33923547 @default.
- W2231036786 hasConcept C41008148 @default.
- W2231036786 hasConceptScore W2231036786C107038049 @default.
- W2231036786 hasConceptScore W2231036786C118615104 @default.
- W2231036786 hasConceptScore W2231036786C136119220 @default.
- W2231036786 hasConceptScore W2231036786C138885662 @default.
- W2231036786 hasConceptScore W2231036786C153269930 @default.
- W2231036786 hasConceptScore W2231036786C202444582 @default.
- W2231036786 hasConceptScore W2231036786C206470798 @default.
- W2231036786 hasConceptScore W2231036786C2778355321 @default.
- W2231036786 hasConceptScore W2231036786C33923547 @default.
- W2231036786 hasConceptScore W2231036786C41008148 @default.
- W2231036786 hasLocation W22310367861 @default.
- W2231036786 hasLocation W22310367862 @default.
- W2231036786 hasLocation W22310367863 @default.
- W2231036786 hasLocation W22310367864 @default.
- W2231036786 hasLocation W22310367865 @default.
- W2231036786 hasOpenAccess W2231036786 @default.
- W2231036786 hasPrimaryLocation W22310367861 @default.
- W2231036786 hasRelatedWork W1557559121 @default.
- W2231036786 hasRelatedWork W1574223981 @default.
- W2231036786 hasRelatedWork W1995616578 @default.
- W2231036786 hasRelatedWork W2037747580 @default.
- W2231036786 hasRelatedWork W2104190504 @default.
- W2231036786 hasRelatedWork W2172290937 @default.
- W2231036786 hasRelatedWork W2730600152 @default.
- W2231036786 hasRelatedWork W3037251426 @default.
- W2231036786 hasRelatedWork W3049285863 @default.
- W2231036786 hasRelatedWork W4256694919 @default.
- W2231036786 isParatext "false" @default.
- W2231036786 isRetracted "false" @default.
- W2231036786 magId "2231036786" @default.
- W2231036786 workType "report" @default.