Matches in SemOpenAlex for { <https://semopenalex.org/work/W184426455> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W184426455 abstract "Regular expression containment has recently enjoyed a re- newed interest as a type-theoretic problem. By viewing regular expres- sions as types, it is possible to view containments as functions that coerce one regular expression into another. Containment of a given regular ex- pression in another one is therefore a coercion inference problem. It is not straightforward how to apply here generic proof-theoretic approaches such as those based on the MALL with the least fixpoint. We propose an alternative approach, still a purely syntactic one, to decide contain- ment in reasonable time. We employ the partial derivative construction that, for a regular expression E, yields a syntactic NFA recognising the language of E; and, for a containment E ≤ F , it yields a simulation of E by F , with the empty simulation representing the absence of coercion. We are currently working on a proof of completeness of this optimised coercion search algorithm." @default.
- W184426455 created "2016-06-24" @default.
- W184426455 creator A5066283441 @default.
- W184426455 date "2011-08-01" @default.
- W184426455 modified "2023-09-25" @default.
- W184426455 title "Regular expression containment as a proof search problem" @default.
- W184426455 cites W1509918383 @default.
- W184426455 cites W1523321977 @default.
- W184426455 cites W1638179998 @default.
- W184426455 cites W1809667786 @default.
- W184426455 cites W2049814260 @default.
- W184426455 cites W2067747634 @default.
- W184426455 cites W2086171783 @default.
- W184426455 cites W2094985106 @default.
- W184426455 cites W2100734566 @default.
- W184426455 cites W2156429182 @default.
- W184426455 cites W2163152086 @default.
- W184426455 cites W159920301 @default.
- W184426455 hasPublicationYear "2011" @default.
- W184426455 type Work @default.
- W184426455 sameAs 184426455 @default.
- W184426455 citedByCount "0" @default.
- W184426455 crossrefType "journal-article" @default.
- W184426455 hasAuthorship W184426455A5066283441 @default.
- W184426455 hasConcept C121329065 @default.
- W184426455 hasConcept C134306372 @default.
- W184426455 hasConcept C138885662 @default.
- W184426455 hasConcept C154945302 @default.
- W184426455 hasConcept C17231256 @default.
- W184426455 hasConcept C199360897 @default.
- W184426455 hasConcept C2776214188 @default.
- W184426455 hasConcept C2777019822 @default.
- W184426455 hasConcept C2777188754 @default.
- W184426455 hasConcept C33923547 @default.
- W184426455 hasConcept C41008148 @default.
- W184426455 hasConcept C41895202 @default.
- W184426455 hasConcept C90559484 @default.
- W184426455 hasConceptScore W184426455C121329065 @default.
- W184426455 hasConceptScore W184426455C134306372 @default.
- W184426455 hasConceptScore W184426455C138885662 @default.
- W184426455 hasConceptScore W184426455C154945302 @default.
- W184426455 hasConceptScore W184426455C17231256 @default.
- W184426455 hasConceptScore W184426455C199360897 @default.
- W184426455 hasConceptScore W184426455C2776214188 @default.
- W184426455 hasConceptScore W184426455C2777019822 @default.
- W184426455 hasConceptScore W184426455C2777188754 @default.
- W184426455 hasConceptScore W184426455C33923547 @default.
- W184426455 hasConceptScore W184426455C41008148 @default.
- W184426455 hasConceptScore W184426455C41895202 @default.
- W184426455 hasConceptScore W184426455C90559484 @default.
- W184426455 hasLocation W1844264551 @default.
- W184426455 hasOpenAccess W184426455 @default.
- W184426455 hasPrimaryLocation W1844264551 @default.
- W184426455 hasRelatedWork W1486432780 @default.
- W184426455 hasRelatedWork W1508809869 @default.
- W184426455 hasRelatedWork W1538065081 @default.
- W184426455 hasRelatedWork W1892058059 @default.
- W184426455 hasRelatedWork W1976667587 @default.
- W184426455 hasRelatedWork W1980855340 @default.
- W184426455 hasRelatedWork W2020077247 @default.
- W184426455 hasRelatedWork W2118100248 @default.
- W184426455 hasRelatedWork W2127875802 @default.
- W184426455 hasRelatedWork W2185829472 @default.
- W184426455 hasRelatedWork W2613262409 @default.
- W184426455 hasRelatedWork W2758999113 @default.
- W184426455 hasRelatedWork W2801119264 @default.
- W184426455 hasRelatedWork W2950477501 @default.
- W184426455 hasRelatedWork W2951366773 @default.
- W184426455 hasRelatedWork W3006785914 @default.
- W184426455 hasRelatedWork W3099486949 @default.
- W184426455 hasRelatedWork W3157498506 @default.
- W184426455 hasRelatedWork W3177233459 @default.
- W184426455 hasRelatedWork W3177831581 @default.
- W184426455 isParatext "false" @default.
- W184426455 isRetracted "false" @default.
- W184426455 magId "184426455" @default.
- W184426455 workType "article" @default.