Matches in SemOpenAlex for { <https://semopenalex.org/work/W1699931448> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1699931448 endingPage "35" @default.
- W1699931448 startingPage "1" @default.
- W1699931448 abstract "Language equations are equations where both the constants occurring in the equations and the solutions are formal languages. They have first been introduced in formal language theory, but are now also considered in other areas of computer science. In the present paper, we restrict the attention to language equations with one-sided concatenation, but in contrast to previous work on these equations, we allow not just union but all Boolean operations to be used when formulating them. In addition, we are not just interested in deciding solvability of such equations, but also in deciding other properties of the set of solutions, like its cardinality finite, infinite, uncountable and whether it contains least/greatest solutions. We show that all these decision problems are EXPTIME-complete." @default.
- W1699931448 created "2016-06-24" @default.
- W1699931448 creator A5005683089 @default.
- W1699931448 creator A5086254817 @default.
- W1699931448 date "2013-01-01" @default.
- W1699931448 modified "2023-09-27" @default.
- W1699931448 title "On Language Equations with One-sided Concatenation" @default.
- W1699931448 cites W1480007921 @default.
- W1699931448 cites W1480450127 @default.
- W1699931448 cites W1495704961 @default.
- W1699931448 cites W1512779672 @default.
- W1699931448 cites W1523067754 @default.
- W1699931448 cites W1546744587 @default.
- W1699931448 cites W1560050980 @default.
- W1699931448 cites W1560143702 @default.
- W1699931448 cites W1570949334 @default.
- W1699931448 cites W1605229073 @default.
- W1699931448 cites W1650701334 @default.
- W1699931448 cites W1886159700 @default.
- W1699931448 cites W1964647046 @default.
- W1699931448 cites W1967181601 @default.
- W1699931448 cites W1977793919 @default.
- W1699931448 cites W1993370765 @default.
- W1699931448 cites W1998081523 @default.
- W1699931448 cites W2000118875 @default.
- W1699931448 cites W2001621593 @default.
- W1699931448 cites W2002328599 @default.
- W1699931448 cites W2022226854 @default.
- W1699931448 cites W2033071128 @default.
- W1699931448 cites W2039654728 @default.
- W1699931448 cites W2046213250 @default.
- W1699931448 cites W2049209348 @default.
- W1699931448 cites W2054754886 @default.
- W1699931448 cites W2064200694 @default.
- W1699931448 cites W2070863577 @default.
- W1699931448 cites W2098303102 @default.
- W1699931448 cites W2111707461 @default.
- W1699931448 cites W2117541535 @default.
- W1699931448 cites W2119397055 @default.
- W1699931448 cites W2120254577 @default.
- W1699931448 cites W2125639421 @default.
- W1699931448 cites W2135734455 @default.
- W1699931448 cites W2162583406 @default.
- W1699931448 cites W2911838076 @default.
- W1699931448 cites W2913944636 @default.
- W1699931448 cites W49473404 @default.
- W1699931448 cites W2476903355 @default.
- W1699931448 doi "https://doi.org/10.3233/fi-2013-870" @default.
- W1699931448 hasPublicationYear "2013" @default.
- W1699931448 type Work @default.
- W1699931448 sameAs 1699931448 @default.
- W1699931448 citedByCount "4" @default.
- W1699931448 countsByYear W16999314482014 @default.
- W1699931448 countsByYear W16999314482015 @default.
- W1699931448 countsByYear W16999314482016 @default.
- W1699931448 countsByYear W16999314482017 @default.
- W1699931448 crossrefType "journal-article" @default.
- W1699931448 hasAuthorship W1699931448A5005683089 @default.
- W1699931448 hasAuthorship W1699931448A5086254817 @default.
- W1699931448 hasBestOaLocation W16999314482 @default.
- W1699931448 hasConcept C33923547 @default.
- W1699931448 hasConcept C41008148 @default.
- W1699931448 hasConcept C87619178 @default.
- W1699931448 hasConcept C94375191 @default.
- W1699931448 hasConceptScore W1699931448C33923547 @default.
- W1699931448 hasConceptScore W1699931448C41008148 @default.
- W1699931448 hasConceptScore W1699931448C87619178 @default.
- W1699931448 hasConceptScore W1699931448C94375191 @default.
- W1699931448 hasIssue "1" @default.
- W1699931448 hasLocation W16999314481 @default.
- W1699931448 hasLocation W16999314482 @default.
- W1699931448 hasLocation W16999314483 @default.
- W1699931448 hasOpenAccess W1699931448 @default.
- W1699931448 hasPrimaryLocation W16999314481 @default.
- W1699931448 hasRelatedWork W2169308097 @default.
- W1699931448 hasRelatedWork W2373577936 @default.
- W1699931448 hasRelatedWork W2389596151 @default.
- W1699931448 hasRelatedWork W2748952813 @default.
- W1699931448 hasRelatedWork W2793122029 @default.
- W1699931448 hasRelatedWork W2899084033 @default.
- W1699931448 hasRelatedWork W2962685880 @default.
- W1699931448 hasRelatedWork W3095575180 @default.
- W1699931448 hasRelatedWork W4221148444 @default.
- W1699931448 hasRelatedWork W4306784355 @default.
- W1699931448 hasVolume "126" @default.
- W1699931448 isParatext "false" @default.
- W1699931448 isRetracted "false" @default.
- W1699931448 magId "1699931448" @default.
- W1699931448 workType "article" @default.