Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378551412> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4378551412 endingPage "188" @default.
- W4378551412 startingPage "167" @default.
- W4378551412 abstract "We establish a Myhill-Nerode type theorem for higher-dimensional automata (HDAs), stating that a language is regular precisely if it has finite prefix quotient. HDAs extend standard automata with additional structure, making it possible to distinguish between interleavings and concurrency. We also introduce deterministic HDAs and show that not all HDAs are determinizable, that is, there exist regular languages that cannot be recognised by a deterministic HDA. Using our theorem, we develop an internal characterisation of deterministic languages." @default.
- W4378551412 created "2023-05-28" @default.
- W4378551412 creator A5016501420 @default.
- W4378551412 creator A5064214731 @default.
- W4378551412 date "2023-01-01" @default.
- W4378551412 modified "2023-09-27" @default.
- W4378551412 title "A Myhill-Nerode Theorem for Higher-Dimensional Automata" @default.
- W4378551412 cites W1494274610 @default.
- W4378551412 cites W1553245026 @default.
- W4378551412 cites W1584259469 @default.
- W4378551412 cites W1594196576 @default.
- W4378551412 cites W1963492530 @default.
- W4378551412 cites W1984801861 @default.
- W4378551412 cites W1989445634 @default.
- W4378551412 cites W1990304467 @default.
- W4378551412 cites W1991052229 @default.
- W4378551412 cites W2024955813 @default.
- W4378551412 cites W2044854034 @default.
- W4378551412 cites W2107876038 @default.
- W4378551412 cites W2110308671 @default.
- W4378551412 cites W2146130261 @default.
- W4378551412 cites W2166572420 @default.
- W4378551412 cites W2331587071 @default.
- W4378551412 cites W2397501793 @default.
- W4378551412 cites W2439559863 @default.
- W4378551412 cites W2914382977 @default.
- W4378551412 cites W2962807109 @default.
- W4378551412 cites W2979494118 @default.
- W4378551412 cites W3142037944 @default.
- W4378551412 cites W315890393 @default.
- W4378551412 cites W3205026340 @default.
- W4378551412 cites W4225371142 @default.
- W4378551412 cites W4241072267 @default.
- W4378551412 cites W4297922692 @default.
- W4378551412 cites W84232747 @default.
- W4378551412 doi "https://doi.org/10.1007/978-3-031-33620-1_9" @default.
- W4378551412 hasPublicationYear "2023" @default.
- W4378551412 type Work @default.
- W4378551412 citedByCount "0" @default.
- W4378551412 crossrefType "book-chapter" @default.
- W4378551412 hasAuthorship W4378551412A5016501420 @default.
- W4378551412 hasAuthorship W4378551412A5064214731 @default.
- W4378551412 hasConcept C112505250 @default.
- W4378551412 hasConcept C11413529 @default.
- W4378551412 hasConcept C114614502 @default.
- W4378551412 hasConcept C118615104 @default.
- W4378551412 hasConcept C138885662 @default.
- W4378551412 hasConcept C141603448 @default.
- W4378551412 hasConcept C167822520 @default.
- W4378551412 hasConcept C193702766 @default.
- W4378551412 hasConcept C199360897 @default.
- W4378551412 hasConcept C199422724 @default.
- W4378551412 hasConcept C33923547 @default.
- W4378551412 hasConcept C41008148 @default.
- W4378551412 hasConcept C41895202 @default.
- W4378551412 hasConcept C80444323 @default.
- W4378551412 hasConceptScore W4378551412C112505250 @default.
- W4378551412 hasConceptScore W4378551412C11413529 @default.
- W4378551412 hasConceptScore W4378551412C114614502 @default.
- W4378551412 hasConceptScore W4378551412C118615104 @default.
- W4378551412 hasConceptScore W4378551412C138885662 @default.
- W4378551412 hasConceptScore W4378551412C141603448 @default.
- W4378551412 hasConceptScore W4378551412C167822520 @default.
- W4378551412 hasConceptScore W4378551412C193702766 @default.
- W4378551412 hasConceptScore W4378551412C199360897 @default.
- W4378551412 hasConceptScore W4378551412C199422724 @default.
- W4378551412 hasConceptScore W4378551412C33923547 @default.
- W4378551412 hasConceptScore W4378551412C41008148 @default.
- W4378551412 hasConceptScore W4378551412C41895202 @default.
- W4378551412 hasConceptScore W4378551412C80444323 @default.
- W4378551412 hasLocation W43785514121 @default.
- W4378551412 hasOpenAccess W4378551412 @default.
- W4378551412 hasPrimaryLocation W43785514121 @default.
- W4378551412 hasRelatedWork W202244539 @default.
- W4378551412 hasRelatedWork W2037680255 @default.
- W4378551412 hasRelatedWork W2348139416 @default.
- W4378551412 hasRelatedWork W2523518206 @default.
- W4378551412 hasRelatedWork W2800776540 @default.
- W4378551412 hasRelatedWork W4243771589 @default.
- W4378551412 hasRelatedWork W4378551412 @default.
- W4378551412 hasRelatedWork W2138773745 @default.
- W4378551412 hasRelatedWork W2528058271 @default.
- W4378551412 hasRelatedWork W31864779 @default.
- W4378551412 isParatext "false" @default.
- W4378551412 isRetracted "false" @default.
- W4378551412 workType "book-chapter" @default.