Matches in SemOpenAlex for { <https://semopenalex.org/work/W1480450127> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1480450127 abstract "The paper studies resolved systems of language equations that allow the use of all Boolean operations in addition to concatenation. Existence and uniqueness of solutions are shown to be their nontrivial properties, these properties are given characterizations by first order formulae, and the position of the corresponding decision problems in the arithmetical hierarchy is determined. The class of languages defined by components of unique solutions of such systems is shown to coincide with the class of recursive languages." @default.
- W1480450127 created "2016-06-24" @default.
- W1480450127 creator A5005683089 @default.
- W1480450127 date "2003-01-01" @default.
- W1480450127 modified "2023-09-25" @default.
- W1480450127 title "Decision Problems for Language Equations with Boolean Operations" @default.
- W1480450127 cites W1485757985 @default.
- W1480450127 cites W1512779672 @default.
- W1480450127 cites W2066725205 @default.
- W1480450127 cites W4255404799 @default.
- W1480450127 doi "https://doi.org/10.1007/3-540-45061-0_21" @default.
- W1480450127 hasPublicationYear "2003" @default.
- W1480450127 type Work @default.
- W1480450127 sameAs 1480450127 @default.
- W1480450127 citedByCount "30" @default.
- W1480450127 countsByYear W14804501272013 @default.
- W1480450127 countsByYear W14804501272014 @default.
- W1480450127 countsByYear W14804501272015 @default.
- W1480450127 crossrefType "book-chapter" @default.
- W1480450127 hasAuthorship W1480450127A5005683089 @default.
- W1480450127 hasConcept C112343008 @default.
- W1480450127 hasConcept C11413529 @default.
- W1480450127 hasConcept C115988155 @default.
- W1480450127 hasConcept C118615104 @default.
- W1480450127 hasConcept C134306372 @default.
- W1480450127 hasConcept C136119220 @default.
- W1480450127 hasConcept C146072743 @default.
- W1480450127 hasConcept C154945302 @default.
- W1480450127 hasConcept C162324750 @default.
- W1480450127 hasConcept C187455244 @default.
- W1480450127 hasConcept C202444582 @default.
- W1480450127 hasConcept C2777021972 @default.
- W1480450127 hasConcept C2777212361 @default.
- W1480450127 hasConcept C31170391 @default.
- W1480450127 hasConcept C33923547 @default.
- W1480450127 hasConcept C34447519 @default.
- W1480450127 hasConcept C41008148 @default.
- W1480450127 hasConcept C7342684 @default.
- W1480450127 hasConcept C80444323 @default.
- W1480450127 hasConcept C87619178 @default.
- W1480450127 hasConcept C94375191 @default.
- W1480450127 hasConceptScore W1480450127C112343008 @default.
- W1480450127 hasConceptScore W1480450127C11413529 @default.
- W1480450127 hasConceptScore W1480450127C115988155 @default.
- W1480450127 hasConceptScore W1480450127C118615104 @default.
- W1480450127 hasConceptScore W1480450127C134306372 @default.
- W1480450127 hasConceptScore W1480450127C136119220 @default.
- W1480450127 hasConceptScore W1480450127C146072743 @default.
- W1480450127 hasConceptScore W1480450127C154945302 @default.
- W1480450127 hasConceptScore W1480450127C162324750 @default.
- W1480450127 hasConceptScore W1480450127C187455244 @default.
- W1480450127 hasConceptScore W1480450127C202444582 @default.
- W1480450127 hasConceptScore W1480450127C2777021972 @default.
- W1480450127 hasConceptScore W1480450127C2777212361 @default.
- W1480450127 hasConceptScore W1480450127C31170391 @default.
- W1480450127 hasConceptScore W1480450127C33923547 @default.
- W1480450127 hasConceptScore W1480450127C34447519 @default.
- W1480450127 hasConceptScore W1480450127C41008148 @default.
- W1480450127 hasConceptScore W1480450127C7342684 @default.
- W1480450127 hasConceptScore W1480450127C80444323 @default.
- W1480450127 hasConceptScore W1480450127C87619178 @default.
- W1480450127 hasConceptScore W1480450127C94375191 @default.
- W1480450127 hasLocation W14804501271 @default.
- W1480450127 hasOpenAccess W1480450127 @default.
- W1480450127 hasPrimaryLocation W14804501271 @default.
- W1480450127 hasRelatedWork W1540910174 @default.
- W1480450127 hasRelatedWork W1734903773 @default.
- W1480450127 hasRelatedWork W1781871148 @default.
- W1480450127 hasRelatedWork W2109259936 @default.
- W1480450127 hasRelatedWork W2164941345 @default.
- W1480450127 hasRelatedWork W2267376694 @default.
- W1480450127 hasRelatedWork W2379749946 @default.
- W1480450127 hasRelatedWork W3183599949 @default.
- W1480450127 hasRelatedWork W8052147 @default.
- W1480450127 hasRelatedWork W2143645888 @default.
- W1480450127 isParatext "false" @default.
- W1480450127 isRetracted "false" @default.
- W1480450127 magId "1480450127" @default.
- W1480450127 workType "book-chapter" @default.