Matches in SemOpenAlex for { <https://semopenalex.org/work/W2473747962> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2473747962 abstract "The height of a piecewise-testable language $L$ is the maximum length of the words needed to define $L$ by excluding and requiring given subwords. The height of $L$ is an important descriptive complexity measure that has not yet been investigated in a systematic way. This paper develops a series of new techniques for bounding the height of finite languages and of languages obtained by taking closures by subwords, superwords and related operations. As an application of these results, we show that $text{FO}^2(A^*,sqsubseteq)$, the two-variable fragment of the first-order logic of sequences with the subword ordering, can only express piecewise-testable properties and has elementary complexity." @default.
- W2473747962 created "2016-07-22" @default.
- W2473747962 creator A5083815456 @default.
- W2473747962 creator A5085569595 @default.
- W2473747962 date "2015-11-05" @default.
- W2473747962 modified "2023-09-27" @default.
- W2473747962 title "The height of piecewise-testable languages with applications in logical complexity" @default.
- W2473747962 hasPublicationYear "2015" @default.
- W2473747962 type Work @default.
- W2473747962 sameAs 2473747962 @default.
- W2473747962 citedByCount "0" @default.
- W2473747962 crossrefType "posted-content" @default.
- W2473747962 hasAuthorship W2473747962A5083815456 @default.
- W2473747962 hasAuthorship W2473747962A5085569595 @default.
- W2473747962 hasConcept C10138342 @default.
- W2473747962 hasConcept C11413529 @default.
- W2473747962 hasConcept C118615104 @default.
- W2473747962 hasConcept C124101348 @default.
- W2473747962 hasConcept C133142742 @default.
- W2473747962 hasConcept C134306372 @default.
- W2473747962 hasConcept C143724316 @default.
- W2473747962 hasConcept C151730666 @default.
- W2473747962 hasConcept C154945302 @default.
- W2473747962 hasConcept C162324750 @default.
- W2473747962 hasConcept C164660894 @default.
- W2473747962 hasConcept C179799912 @default.
- W2473747962 hasConcept C182306322 @default.
- W2473747962 hasConcept C182365436 @default.
- W2473747962 hasConcept C2776235265 @default.
- W2473747962 hasConcept C2780009758 @default.
- W2473747962 hasConcept C33923547 @default.
- W2473747962 hasConcept C41008148 @default.
- W2473747962 hasConcept C63584917 @default.
- W2473747962 hasConcept C86803240 @default.
- W2473747962 hasConceptScore W2473747962C10138342 @default.
- W2473747962 hasConceptScore W2473747962C11413529 @default.
- W2473747962 hasConceptScore W2473747962C118615104 @default.
- W2473747962 hasConceptScore W2473747962C124101348 @default.
- W2473747962 hasConceptScore W2473747962C133142742 @default.
- W2473747962 hasConceptScore W2473747962C134306372 @default.
- W2473747962 hasConceptScore W2473747962C143724316 @default.
- W2473747962 hasConceptScore W2473747962C151730666 @default.
- W2473747962 hasConceptScore W2473747962C154945302 @default.
- W2473747962 hasConceptScore W2473747962C162324750 @default.
- W2473747962 hasConceptScore W2473747962C164660894 @default.
- W2473747962 hasConceptScore W2473747962C179799912 @default.
- W2473747962 hasConceptScore W2473747962C182306322 @default.
- W2473747962 hasConceptScore W2473747962C182365436 @default.
- W2473747962 hasConceptScore W2473747962C2776235265 @default.
- W2473747962 hasConceptScore W2473747962C2780009758 @default.
- W2473747962 hasConceptScore W2473747962C33923547 @default.
- W2473747962 hasConceptScore W2473747962C41008148 @default.
- W2473747962 hasConceptScore W2473747962C63584917 @default.
- W2473747962 hasConceptScore W2473747962C86803240 @default.
- W2473747962 hasLocation W24737479621 @default.
- W2473747962 hasOpenAccess W2473747962 @default.
- W2473747962 hasPrimaryLocation W24737479621 @default.
- W2473747962 hasRelatedWork W1497155250 @default.
- W2473747962 hasRelatedWork W1603421361 @default.
- W2473747962 hasRelatedWork W1835798436 @default.
- W2473747962 hasRelatedWork W1860513280 @default.
- W2473747962 hasRelatedWork W1946987616 @default.
- W2473747962 hasRelatedWork W1956764718 @default.
- W2473747962 hasRelatedWork W2006999118 @default.
- W2473747962 hasRelatedWork W2036980610 @default.
- W2473747962 hasRelatedWork W2105068453 @default.
- W2473747962 hasRelatedWork W2141421279 @default.
- W2473747962 hasRelatedWork W2283403565 @default.
- W2473747962 hasRelatedWork W2290968667 @default.
- W2473747962 hasRelatedWork W2474510590 @default.
- W2473747962 hasRelatedWork W2741048150 @default.
- W2473747962 hasRelatedWork W2804456091 @default.
- W2473747962 hasRelatedWork W2963282839 @default.
- W2473747962 hasRelatedWork W2973136355 @default.
- W2473747962 hasRelatedWork W3200143297 @default.
- W2473747962 hasRelatedWork W2183200524 @default.
- W2473747962 hasRelatedWork W2609460333 @default.
- W2473747962 isParatext "false" @default.
- W2473747962 isRetracted "false" @default.
- W2473747962 magId "2473747962" @default.
- W2473747962 workType "article" @default.