Matches in SemOpenAlex for { <https://semopenalex.org/work/W1547911030> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1547911030 abstract "Presentations of Kan extensions of category actions provide a natural framework for expressing induced actions, and therefore a range of different combinatorial problems. Rewrite systems for Kan extensions have been defined and a variation on the Knuth-Bendix completion procedure can be used to complete them -- when possible. Regular languages and automata are a useful way of expressing sets and actions, and in this paper we explain how to use rewrite systems for Kan extensions to construct automata expressing the induced action and how sets of normal forms can be calculated by obtaining language equations from the automata." @default.
- W1547911030 created "2016-06-24" @default.
- W1547911030 creator A5054331607 @default.
- W1547911030 date "1999-06-23" @default.
- W1547911030 modified "2023-09-27" @default.
- W1547911030 title "Using Automata to obtain Regular Expressions for Induced Actions" @default.
- W1547911030 cites W1496412704 @default.
- W1547911030 cites W1545078593 @default.
- W1547911030 cites W1583295953 @default.
- W1547911030 cites W1956868877 @default.
- W1547911030 cites W2002089154 @default.
- W1547911030 cites W2004603677 @default.
- W1547911030 cites W2042767697 @default.
- W1547911030 cites W2120713972 @default.
- W1547911030 cites W2157737009 @default.
- W1547911030 cites W2160934477 @default.
- W1547911030 hasPublicationYear "1999" @default.
- W1547911030 type Work @default.
- W1547911030 sameAs 1547911030 @default.
- W1547911030 citedByCount "1" @default.
- W1547911030 crossrefType "posted-content" @default.
- W1547911030 hasAuthorship W1547911030A5054331607 @default.
- W1547911030 hasConcept C112505250 @default.
- W1547911030 hasConcept C118615104 @default.
- W1547911030 hasConcept C121332964 @default.
- W1547911030 hasConcept C159985019 @default.
- W1547911030 hasConcept C192562407 @default.
- W1547911030 hasConcept C199360897 @default.
- W1547911030 hasConcept C204323151 @default.
- W1547911030 hasConcept C2780791683 @default.
- W1547911030 hasConcept C2780801425 @default.
- W1547911030 hasConcept C33923547 @default.
- W1547911030 hasConcept C41008148 @default.
- W1547911030 hasConcept C62520636 @default.
- W1547911030 hasConcept C80444323 @default.
- W1547911030 hasConceptScore W1547911030C112505250 @default.
- W1547911030 hasConceptScore W1547911030C118615104 @default.
- W1547911030 hasConceptScore W1547911030C121332964 @default.
- W1547911030 hasConceptScore W1547911030C159985019 @default.
- W1547911030 hasConceptScore W1547911030C192562407 @default.
- W1547911030 hasConceptScore W1547911030C199360897 @default.
- W1547911030 hasConceptScore W1547911030C204323151 @default.
- W1547911030 hasConceptScore W1547911030C2780791683 @default.
- W1547911030 hasConceptScore W1547911030C2780801425 @default.
- W1547911030 hasConceptScore W1547911030C33923547 @default.
- W1547911030 hasConceptScore W1547911030C41008148 @default.
- W1547911030 hasConceptScore W1547911030C62520636 @default.
- W1547911030 hasConceptScore W1547911030C80444323 @default.
- W1547911030 hasLocation W15479110301 @default.
- W1547911030 hasOpenAccess W1547911030 @default.
- W1547911030 hasPrimaryLocation W15479110301 @default.
- W1547911030 hasRelatedWork W108755179 @default.
- W1547911030 hasRelatedWork W2020430463 @default.
- W1547911030 hasRelatedWork W2078730851 @default.
- W1547911030 hasRelatedWork W2081320746 @default.
- W1547911030 hasRelatedWork W2107081125 @default.
- W1547911030 hasRelatedWork W2238703166 @default.
- W1547911030 hasRelatedWork W2254838832 @default.
- W1547911030 hasRelatedWork W2346151386 @default.
- W1547911030 hasRelatedWork W2460759839 @default.
- W1547911030 hasRelatedWork W2747328602 @default.
- W1547911030 hasRelatedWork W2767750522 @default.
- W1547911030 hasRelatedWork W2923977939 @default.
- W1547911030 hasRelatedWork W2951492900 @default.
- W1547911030 hasRelatedWork W2963050987 @default.
- W1547911030 hasRelatedWork W2964338285 @default.
- W1547911030 hasRelatedWork W3013303095 @default.
- W1547911030 hasRelatedWork W3085911864 @default.
- W1547911030 hasRelatedWork W3136194207 @default.
- W1547911030 hasRelatedWork W629264660 @default.
- W1547911030 hasRelatedWork W2185410984 @default.
- W1547911030 isParatext "false" @default.
- W1547911030 isRetracted "false" @default.
- W1547911030 magId "1547911030" @default.
- W1547911030 workType "article" @default.