Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011350458> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2011350458 endingPage "325" @default.
- W2011350458 startingPage "307" @default.
- W2011350458 abstract "In this paper we address the decision problem for a two-sorted fragment of set theory with restricted quantification which extends the language studied in [4] with pair-related quantifiers and constructs. We also show that the decision problem for our language has a nondeterministic exponential-time complexity. However, in the restricted case of formulae whose quantifier prefixes have length bounded by a constant, the decision problem becomes NP-complete. In spite of such restriction, several useful set-theoretic constructs, mostly related to maps, are still expressible. We also argue that our restricted language has applications to knowledge representation, with particular reference to metamodeling issues. Finally, we compare our proposed language with two similar languages in terms of their expressivity and present some undecidable extensions of it, involving any of the domain, range, image, and map composition operators." @default.
- W2011350458 created "2016-06-24" @default.
- W2011350458 creator A5003729137 @default.
- W2011350458 creator A5045684463 @default.
- W2011350458 date "2014-12-01" @default.
- W2011350458 modified "2023-09-25" @default.
- W2011350458 title "A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions" @default.
- W2011350458 cites W1549008998 @default.
- W2011350458 cites W1994011085 @default.
- W2011350458 cites W1994872660 @default.
- W2011350458 cites W2026242340 @default.
- W2011350458 cites W2095098901 @default.
- W2011350458 cites W2101118111 @default.
- W2011350458 cites W2103174261 @default.
- W2011350458 cites W2295882966 @default.
- W2011350458 cites W2324662468 @default.
- W2011350458 cites W4233684349 @default.
- W2011350458 doi "https://doi.org/10.1016/j.tcs.2014.03.021" @default.
- W2011350458 hasPublicationYear "2014" @default.
- W2011350458 type Work @default.
- W2011350458 sameAs 2011350458 @default.
- W2011350458 citedByCount "5" @default.
- W2011350458 countsByYear W20113504582015 @default.
- W2011350458 countsByYear W20113504582017 @default.
- W2011350458 countsByYear W20113504582019 @default.
- W2011350458 countsByYear W20113504582021 @default.
- W2011350458 crossrefType "journal-article" @default.
- W2011350458 hasAuthorship W2011350458A5003729137 @default.
- W2011350458 hasAuthorship W2011350458A5045684463 @default.
- W2011350458 hasBestOaLocation W20113504581 @default.
- W2011350458 hasConcept C112505250 @default.
- W2011350458 hasConcept C11413529 @default.
- W2011350458 hasConcept C115988155 @default.
- W2011350458 hasConcept C118615104 @default.
- W2011350458 hasConcept C134306372 @default.
- W2011350458 hasConcept C153269930 @default.
- W2011350458 hasConcept C154945302 @default.
- W2011350458 hasConcept C159985019 @default.
- W2011350458 hasConcept C176181172 @default.
- W2011350458 hasConcept C177264268 @default.
- W2011350458 hasConcept C192034797 @default.
- W2011350458 hasConcept C192562407 @default.
- W2011350458 hasConcept C199360897 @default.
- W2011350458 hasConcept C204323151 @default.
- W2011350458 hasConcept C24858836 @default.
- W2011350458 hasConcept C2776235265 @default.
- W2011350458 hasConcept C2778523021 @default.
- W2011350458 hasConcept C33923547 @default.
- W2011350458 hasConcept C34388435 @default.
- W2011350458 hasConcept C41008148 @default.
- W2011350458 hasConcept C52370388 @default.
- W2011350458 hasConcept C80444323 @default.
- W2011350458 hasConceptScore W2011350458C112505250 @default.
- W2011350458 hasConceptScore W2011350458C11413529 @default.
- W2011350458 hasConceptScore W2011350458C115988155 @default.
- W2011350458 hasConceptScore W2011350458C118615104 @default.
- W2011350458 hasConceptScore W2011350458C134306372 @default.
- W2011350458 hasConceptScore W2011350458C153269930 @default.
- W2011350458 hasConceptScore W2011350458C154945302 @default.
- W2011350458 hasConceptScore W2011350458C159985019 @default.
- W2011350458 hasConceptScore W2011350458C176181172 @default.
- W2011350458 hasConceptScore W2011350458C177264268 @default.
- W2011350458 hasConceptScore W2011350458C192034797 @default.
- W2011350458 hasConceptScore W2011350458C192562407 @default.
- W2011350458 hasConceptScore W2011350458C199360897 @default.
- W2011350458 hasConceptScore W2011350458C204323151 @default.
- W2011350458 hasConceptScore W2011350458C24858836 @default.
- W2011350458 hasConceptScore W2011350458C2776235265 @default.
- W2011350458 hasConceptScore W2011350458C2778523021 @default.
- W2011350458 hasConceptScore W2011350458C33923547 @default.
- W2011350458 hasConceptScore W2011350458C34388435 @default.
- W2011350458 hasConceptScore W2011350458C41008148 @default.
- W2011350458 hasConceptScore W2011350458C52370388 @default.
- W2011350458 hasConceptScore W2011350458C80444323 @default.
- W2011350458 hasLocation W20113504581 @default.
- W2011350458 hasOpenAccess W2011350458 @default.
- W2011350458 hasPrimaryLocation W20113504581 @default.
- W2011350458 hasRelatedWork W1483892218 @default.
- W2011350458 hasRelatedWork W1996177377 @default.
- W2011350458 hasRelatedWork W2011289699 @default.
- W2011350458 hasRelatedWork W2034018160 @default.
- W2011350458 hasRelatedWork W2055411475 @default.
- W2011350458 hasRelatedWork W2091482716 @default.
- W2011350458 hasRelatedWork W2167135424 @default.
- W2011350458 hasRelatedWork W2581629772 @default.
- W2011350458 hasRelatedWork W2961332145 @default.
- W2011350458 hasRelatedWork W4300794829 @default.
- W2011350458 hasVolume "560" @default.
- W2011350458 isParatext "false" @default.
- W2011350458 isRetracted "false" @default.
- W2011350458 magId "2011350458" @default.
- W2011350458 workType "article" @default.