Matches in SemOpenAlex for { <https://semopenalex.org/work/W46198887> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W46198887 endingPage "298" @default.
- W46198887 startingPage "283" @default.
- W46198887 abstract "The article describes a compact formalization of the relation between regular expressions and deterministic finite automata, and a formally verified, efficient algorithm for testing regular expression equivalence, both based on the notion of pointed regular expression [8]." @default.
- W46198887 created "2016-06-24" @default.
- W46198887 creator A5032765727 @default.
- W46198887 date "2012-01-01" @default.
- W46198887 modified "2023-10-18" @default.
- W46198887 title "A Compact Proof of Decidability for Regular Expression Equivalence" @default.
- W46198887 cites W1496085154 @default.
- W46198887 cites W1500313939 @default.
- W46198887 cites W1559969643 @default.
- W46198887 cites W1600140070 @default.
- W46198887 cites W1638179998 @default.
- W46198887 cites W1968602591 @default.
- W46198887 cites W1975501418 @default.
- W46198887 cites W2072607050 @default.
- W46198887 cites W2092860912 @default.
- W46198887 cites W2094985106 @default.
- W46198887 cites W2099540492 @default.
- W46198887 cites W2129414328 @default.
- W46198887 cites W2144645833 @default.
- W46198887 cites W2152478133 @default.
- W46198887 cites W2161151447 @default.
- W46198887 cites W2166662837 @default.
- W46198887 cites W2235749104 @default.
- W46198887 cites W2912608078 @default.
- W46198887 doi "https://doi.org/10.1007/978-3-642-32347-8_19" @default.
- W46198887 hasPublicationYear "2012" @default.
- W46198887 type Work @default.
- W46198887 sameAs 46198887 @default.
- W46198887 citedByCount "14" @default.
- W46198887 countsByYear W461988872012 @default.
- W46198887 countsByYear W461988872013 @default.
- W46198887 countsByYear W461988872014 @default.
- W46198887 countsByYear W461988872015 @default.
- W46198887 crossrefType "book-chapter" @default.
- W46198887 hasAuthorship W46198887A5032765727 @default.
- W46198887 hasConcept C112505250 @default.
- W46198887 hasConcept C11413529 @default.
- W46198887 hasConcept C116248031 @default.
- W46198887 hasConcept C118615104 @default.
- W46198887 hasConcept C121329065 @default.
- W46198887 hasConcept C136119220 @default.
- W46198887 hasConcept C153269930 @default.
- W46198887 hasConcept C156103551 @default.
- W46198887 hasConcept C158008952 @default.
- W46198887 hasConcept C199360897 @default.
- W46198887 hasConcept C202444582 @default.
- W46198887 hasConcept C2780069185 @default.
- W46198887 hasConcept C33923547 @default.
- W46198887 hasConcept C41008148 @default.
- W46198887 hasConcept C52370388 @default.
- W46198887 hasConcept C80444323 @default.
- W46198887 hasConcept C90559484 @default.
- W46198887 hasConceptScore W46198887C112505250 @default.
- W46198887 hasConceptScore W46198887C11413529 @default.
- W46198887 hasConceptScore W46198887C116248031 @default.
- W46198887 hasConceptScore W46198887C118615104 @default.
- W46198887 hasConceptScore W46198887C121329065 @default.
- W46198887 hasConceptScore W46198887C136119220 @default.
- W46198887 hasConceptScore W46198887C153269930 @default.
- W46198887 hasConceptScore W46198887C156103551 @default.
- W46198887 hasConceptScore W46198887C158008952 @default.
- W46198887 hasConceptScore W46198887C199360897 @default.
- W46198887 hasConceptScore W46198887C202444582 @default.
- W46198887 hasConceptScore W46198887C2780069185 @default.
- W46198887 hasConceptScore W46198887C33923547 @default.
- W46198887 hasConceptScore W46198887C41008148 @default.
- W46198887 hasConceptScore W46198887C52370388 @default.
- W46198887 hasConceptScore W46198887C80444323 @default.
- W46198887 hasConceptScore W46198887C90559484 @default.
- W46198887 hasLocation W461988871 @default.
- W46198887 hasOpenAccess W46198887 @default.
- W46198887 hasPrimaryLocation W461988871 @default.
- W46198887 hasRelatedWork W1423874546 @default.
- W46198887 hasRelatedWork W189278745 @default.
- W46198887 hasRelatedWork W2159133812 @default.
- W46198887 hasRelatedWork W2166971839 @default.
- W46198887 hasRelatedWork W2400771557 @default.
- W46198887 hasRelatedWork W3089547293 @default.
- W46198887 hasRelatedWork W3148361189 @default.
- W46198887 hasRelatedWork W4255100015 @default.
- W46198887 hasRelatedWork W46198887 @default.
- W46198887 hasRelatedWork W2084084504 @default.
- W46198887 isParatext "false" @default.
- W46198887 isRetracted "false" @default.
- W46198887 magId "46198887" @default.
- W46198887 workType "book-chapter" @default.