Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982671369> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2982671369 abstract "Tests added to Kleene algebra (by Kozen and others) are considered within Monadic Second Order logic over strings, where they are likened to statives in natural language. Reducts are formed over tests and non-tests alike, specifying what is observable. Notions of temporal granularity are based on observable change, under the assumption that a finite set bounds what is observable (with the possibility of stretching such bounds by moving to a larger finite set). String projections at different granularities are conjoined by superpositions that provide another variant of concatenation for Booleans." @default.
- W2982671369 created "2019-11-08" @default.
- W2982671369 creator A5039866013 @default.
- W2982671369 creator A5066945416 @default.
- W2982671369 creator A5081875121 @default.
- W2982671369 date "2019-01-01" @default.
- W2982671369 modified "2023-09-23" @default.
- W2982671369 title "MSO with tests and reducts" @default.
- W2982671369 cites W1489366126 @default.
- W2982671369 cites W1574223981 @default.
- W2982671369 cites W1994281017 @default.
- W2982671369 cites W1998368317 @default.
- W2982671369 cites W2010883554 @default.
- W2982671369 cites W2023964307 @default.
- W2982671369 cites W2025589690 @default.
- W2982671369 cites W2069709605 @default.
- W2982671369 cites W2157319739 @default.
- W2982671369 cites W2161484642 @default.
- W2982671369 cites W2163152086 @default.
- W2982671369 cites W2336123333 @default.
- W2982671369 cites W2337469593 @default.
- W2982671369 cites W2920870008 @default.
- W2982671369 cites W2954719046 @default.
- W2982671369 cites W3088028847 @default.
- W2982671369 doi "https://doi.org/10.18653/v1/w19-3106" @default.
- W2982671369 hasPublicationYear "2019" @default.
- W2982671369 type Work @default.
- W2982671369 sameAs 2982671369 @default.
- W2982671369 citedByCount "0" @default.
- W2982671369 crossrefType "proceedings-article" @default.
- W2982671369 hasAuthorship W2982671369A5039866013 @default.
- W2982671369 hasAuthorship W2982671369A5066945416 @default.
- W2982671369 hasAuthorship W2982671369A5081875121 @default.
- W2982671369 hasBestOaLocation W29826713691 @default.
- W2982671369 hasConcept C112505250 @default.
- W2982671369 hasConcept C11413529 @default.
- W2982671369 hasConcept C114614502 @default.
- W2982671369 hasConcept C118615104 @default.
- W2982671369 hasConcept C121332964 @default.
- W2982671369 hasConcept C136119220 @default.
- W2982671369 hasConcept C157486923 @default.
- W2982671369 hasConcept C177264268 @default.
- W2982671369 hasConcept C177774035 @default.
- W2982671369 hasConcept C199360897 @default.
- W2982671369 hasConcept C202444582 @default.
- W2982671369 hasConcept C206470798 @default.
- W2982671369 hasConcept C32848918 @default.
- W2982671369 hasConcept C33923547 @default.
- W2982671369 hasConcept C37914503 @default.
- W2982671369 hasConcept C41008148 @default.
- W2982671369 hasConcept C52370388 @default.
- W2982671369 hasConcept C62520636 @default.
- W2982671369 hasConcept C80444323 @default.
- W2982671369 hasConcept C87619178 @default.
- W2982671369 hasConceptScore W2982671369C112505250 @default.
- W2982671369 hasConceptScore W2982671369C11413529 @default.
- W2982671369 hasConceptScore W2982671369C114614502 @default.
- W2982671369 hasConceptScore W2982671369C118615104 @default.
- W2982671369 hasConceptScore W2982671369C121332964 @default.
- W2982671369 hasConceptScore W2982671369C136119220 @default.
- W2982671369 hasConceptScore W2982671369C157486923 @default.
- W2982671369 hasConceptScore W2982671369C177264268 @default.
- W2982671369 hasConceptScore W2982671369C177774035 @default.
- W2982671369 hasConceptScore W2982671369C199360897 @default.
- W2982671369 hasConceptScore W2982671369C202444582 @default.
- W2982671369 hasConceptScore W2982671369C206470798 @default.
- W2982671369 hasConceptScore W2982671369C32848918 @default.
- W2982671369 hasConceptScore W2982671369C33923547 @default.
- W2982671369 hasConceptScore W2982671369C37914503 @default.
- W2982671369 hasConceptScore W2982671369C41008148 @default.
- W2982671369 hasConceptScore W2982671369C52370388 @default.
- W2982671369 hasConceptScore W2982671369C62520636 @default.
- W2982671369 hasConceptScore W2982671369C80444323 @default.
- W2982671369 hasConceptScore W2982671369C87619178 @default.
- W2982671369 hasLocation W29826713691 @default.
- W2982671369 hasOpenAccess W2982671369 @default.
- W2982671369 hasPrimaryLocation W29826713691 @default.
- W2982671369 hasRelatedWork W2063737596 @default.
- W2982671369 hasRelatedWork W2064594808 @default.
- W2982671369 hasRelatedWork W2143338666 @default.
- W2982671369 hasRelatedWork W2169867894 @default.
- W2982671369 hasRelatedWork W2398544594 @default.
- W2982671369 hasRelatedWork W254881558 @default.
- W2982671369 hasRelatedWork W2982671369 @default.
- W2982671369 hasRelatedWork W3043451820 @default.
- W2982671369 hasRelatedWork W3083042812 @default.
- W2982671369 hasRelatedWork W650593551 @default.
- W2982671369 isParatext "false" @default.
- W2982671369 isRetracted "false" @default.
- W2982671369 magId "2982671369" @default.
- W2982671369 workType "article" @default.