Matches in SemOpenAlex for { <https://semopenalex.org/work/W146784359> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W146784359 endingPage "298" @default.
- W146784359 startingPage "279" @default.
- W146784359 abstract "We develop a coalgebraic theory of Kleene algebra with tests ((mathsf {KAT})) along the lines of Rutten (1998) for Kleene algebra ((mathsf {KA})) and Chen and Pucella (Electron Notes Theor Comput Sci 82(1), 2003) for a limited version of (mathsf {KAT}), resolving some technical issues raised by Chen and Pucella. Our treatment includes a simple definition of the Brzozowski derivative for (mathsf {KAT}) expressions and an automata-theoretic interpretation involving automata on guarded strings. We also give a complexity analysis, showing that an efficient implementation of coinductive equivalence proofs in this setting is tantamount to a standard automata-theoretic construction. It follows that coinductive equivalence proofs can be generated automatically in PSPACE. This matches the bound of Worthington (2008) for the automatic generation of equational proofs in (mathsf {KAT})." @default.
- W146784359 created "2016-06-24" @default.
- W146784359 creator A5053923311 @default.
- W146784359 date "2017-01-01" @default.
- W146784359 modified "2023-10-16" @default.
- W146784359 title "On the Coalgebraic Theory of Kleene Algebra with Tests" @default.
- W146784359 cites W1509918383 @default.
- W146784359 cites W1566154337 @default.
- W146784359 cites W1570445666 @default.
- W146784359 cites W164550212 @default.
- W146784359 cites W1982129592 @default.
- W146784359 cites W1998368317 @default.
- W146784359 cites W2006044993 @default.
- W146784359 cites W2010626618 @default.
- W146784359 cites W2064204259 @default.
- W146784359 cites W2096312273 @default.
- W146784359 cites W2156429182 @default.
- W146784359 cites W2163152086 @default.
- W146784359 doi "https://doi.org/10.1007/978-3-319-47843-2_15" @default.
- W146784359 hasPublicationYear "2017" @default.
- W146784359 type Work @default.
- W146784359 sameAs 146784359 @default.
- W146784359 citedByCount "22" @default.
- W146784359 countsByYear W1467843592012 @default.
- W146784359 countsByYear W1467843592013 @default.
- W146784359 countsByYear W1467843592015 @default.
- W146784359 countsByYear W1467843592016 @default.
- W146784359 countsByYear W1467843592017 @default.
- W146784359 countsByYear W1467843592020 @default.
- W146784359 countsByYear W1467843592021 @default.
- W146784359 countsByYear W1467843592022 @default.
- W146784359 crossrefType "book-chapter" @default.
- W146784359 hasAuthorship W146784359A5053923311 @default.
- W146784359 hasBestOaLocation W1467843592 @default.
- W146784359 hasConcept C118615104 @default.
- W146784359 hasConcept C123260079 @default.
- W146784359 hasConcept C136119220 @default.
- W146784359 hasConcept C202444582 @default.
- W146784359 hasConcept C206470798 @default.
- W146784359 hasConcept C33923547 @default.
- W146784359 hasConceptScore W146784359C118615104 @default.
- W146784359 hasConceptScore W146784359C123260079 @default.
- W146784359 hasConceptScore W146784359C136119220 @default.
- W146784359 hasConceptScore W146784359C202444582 @default.
- W146784359 hasConceptScore W146784359C206470798 @default.
- W146784359 hasConceptScore W146784359C33923547 @default.
- W146784359 hasLocation W1467843591 @default.
- W146784359 hasLocation W1467843592 @default.
- W146784359 hasLocation W1467843593 @default.
- W146784359 hasOpenAccess W146784359 @default.
- W146784359 hasPrimaryLocation W1467843591 @default.
- W146784359 hasRelatedWork W1549533980 @default.
- W146784359 hasRelatedWork W1552805404 @default.
- W146784359 hasRelatedWork W1565669300 @default.
- W146784359 hasRelatedWork W1864409016 @default.
- W146784359 hasRelatedWork W2068047345 @default.
- W146784359 hasRelatedWork W2538112760 @default.
- W146784359 hasRelatedWork W2953324945 @default.
- W146784359 hasRelatedWork W57990650 @default.
- W146784359 hasRelatedWork W2471495717 @default.
- W146784359 hasRelatedWork W2565695082 @default.
- W146784359 isParatext "false" @default.
- W146784359 isRetracted "false" @default.
- W146784359 magId "146784359" @default.
- W146784359 workType "book-chapter" @default.