Matches in SemOpenAlex for { <https://semopenalex.org/work/W3108768550> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3108768550 endingPage "106074" @default.
- W3108768550 startingPage "106074" @default.
- W3108768550 abstract "• Every computation can be viewed as a graph that satisfies a monadic second-order formula. • Every recursively enumerable graph relation can be computed by such a formula. • For this notion of computability, graphs need not be coded as strings or numbers. A binary relation on graphs is recursively enumerable if and only if it can be computed by a formula of monadic second-order logic. The latter means that the formula defines a set of graphs, in the usual way, such that each “computation graph” in that set determines a pair consisting of an input graph and an output graph." @default.
- W3108768550 created "2020-12-07" @default.
- W3108768550 creator A5065721598 @default.
- W3108768550 date "2021-04-01" @default.
- W3108768550 modified "2023-10-18" @default.
- W3108768550 title "Computability by monadic second-order logic" @default.
- W3108768550 cites W1587779614 @default.
- W3108768550 cites W1623604111 @default.
- W3108768550 cites W1970456124 @default.
- W3108768550 cites W1983682288 @default.
- W3108768550 cites W2033743662 @default.
- W3108768550 cites W2035020702 @default.
- W3108768550 cites W2051522302 @default.
- W3108768550 cites W2073663206 @default.
- W3108768550 cites W2106181999 @default.
- W3108768550 cites W2131742729 @default.
- W3108768550 cites W2740703918 @default.
- W3108768550 cites W3082318432 @default.
- W3108768550 doi "https://doi.org/10.1016/j.ipl.2020.106074" @default.
- W3108768550 hasPublicationYear "2021" @default.
- W3108768550 type Work @default.
- W3108768550 sameAs 3108768550 @default.
- W3108768550 citedByCount "0" @default.
- W3108768550 crossrefType "journal-article" @default.
- W3108768550 hasAuthorship W3108768550A5065721598 @default.
- W3108768550 hasBestOaLocation W31087685501 @default.
- W3108768550 hasConcept C102993220 @default.
- W3108768550 hasConcept C114614502 @default.
- W3108768550 hasConcept C118615104 @default.
- W3108768550 hasConcept C124656256 @default.
- W3108768550 hasConcept C132525143 @default.
- W3108768550 hasConcept C152062344 @default.
- W3108768550 hasConcept C169896238 @default.
- W3108768550 hasConcept C177264268 @default.
- W3108768550 hasConcept C188521023 @default.
- W3108768550 hasConcept C198414033 @default.
- W3108768550 hasConcept C199360897 @default.
- W3108768550 hasConcept C203702658 @default.
- W3108768550 hasConcept C203776342 @default.
- W3108768550 hasConcept C22149727 @default.
- W3108768550 hasConcept C33923547 @default.
- W3108768550 hasConcept C41008148 @default.
- W3108768550 hasConcept C65180967 @default.
- W3108768550 hasConcept C80444323 @default.
- W3108768550 hasConceptScore W3108768550C102993220 @default.
- W3108768550 hasConceptScore W3108768550C114614502 @default.
- W3108768550 hasConceptScore W3108768550C118615104 @default.
- W3108768550 hasConceptScore W3108768550C124656256 @default.
- W3108768550 hasConceptScore W3108768550C132525143 @default.
- W3108768550 hasConceptScore W3108768550C152062344 @default.
- W3108768550 hasConceptScore W3108768550C169896238 @default.
- W3108768550 hasConceptScore W3108768550C177264268 @default.
- W3108768550 hasConceptScore W3108768550C188521023 @default.
- W3108768550 hasConceptScore W3108768550C198414033 @default.
- W3108768550 hasConceptScore W3108768550C199360897 @default.
- W3108768550 hasConceptScore W3108768550C203702658 @default.
- W3108768550 hasConceptScore W3108768550C203776342 @default.
- W3108768550 hasConceptScore W3108768550C22149727 @default.
- W3108768550 hasConceptScore W3108768550C33923547 @default.
- W3108768550 hasConceptScore W3108768550C41008148 @default.
- W3108768550 hasConceptScore W3108768550C65180967 @default.
- W3108768550 hasConceptScore W3108768550C80444323 @default.
- W3108768550 hasLocation W31087685501 @default.
- W3108768550 hasLocation W31087685502 @default.
- W3108768550 hasLocation W31087685503 @default.
- W3108768550 hasOpenAccess W3108768550 @default.
- W3108768550 hasPrimaryLocation W31087685501 @default.
- W3108768550 hasRelatedWork W10328135 @default.
- W3108768550 hasRelatedWork W10598665 @default.
- W3108768550 hasRelatedWork W10838923 @default.
- W3108768550 hasRelatedWork W1871655 @default.
- W3108768550 hasRelatedWork W4696356 @default.
- W3108768550 hasRelatedWork W6207231 @default.
- W3108768550 hasRelatedWork W7272699 @default.
- W3108768550 hasRelatedWork W954689 @default.
- W3108768550 hasRelatedWork W9564775 @default.
- W3108768550 hasRelatedWork W5774801 @default.
- W3108768550 hasVolume "167" @default.
- W3108768550 isParatext "false" @default.
- W3108768550 isRetracted "false" @default.
- W3108768550 magId "3108768550" @default.
- W3108768550 workType "article" @default.