Matches in SemOpenAlex for { <https://semopenalex.org/work/W2266299212> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2266299212 endingPage "29" @default.
- W2266299212 startingPage "28" @default.
- W2266299212 abstract "In this talk we survey recent work in the quest for expressive logics with good algorithmic properties, starting from the two-variable fragment of first-order logic and the guarded fragment. While tracing the boundary between decidable and undecidable fragments we describe their power, limitations, similarities and differences in order to stress out key properties responsible for their good or bad behaviour. We also highlight tools and techniques that have proven most effective for designing optimal algorithms, special attention giving to the more universal ones." @default.
- W2266299212 created "2016-06-24" @default.
- W2266299212 creator A5084992322 @default.
- W2266299212 date "2013-01-01" @default.
- W2266299212 modified "2023-09-25" @default.
- W2266299212 title "Means and Limits of Decision (Invited Talk)" @default.
- W2266299212 doi "https://doi.org/10.4230/lipics.csl.2013.28" @default.
- W2266299212 hasPublicationYear "2013" @default.
- W2266299212 type Work @default.
- W2266299212 sameAs 2266299212 @default.
- W2266299212 citedByCount "0" @default.
- W2266299212 crossrefType "proceedings-article" @default.
- W2266299212 hasAuthorship W2266299212A5084992322 @default.
- W2266299212 hasConcept C11413529 @default.
- W2266299212 hasConcept C134306372 @default.
- W2266299212 hasConcept C138673069 @default.
- W2266299212 hasConcept C153269930 @default.
- W2266299212 hasConcept C182365436 @default.
- W2266299212 hasConcept C192034797 @default.
- W2266299212 hasConcept C199360897 @default.
- W2266299212 hasConcept C26517878 @default.
- W2266299212 hasConcept C2776235265 @default.
- W2266299212 hasConcept C33923547 @default.
- W2266299212 hasConcept C38652104 @default.
- W2266299212 hasConcept C41008148 @default.
- W2266299212 hasConcept C80444323 @default.
- W2266299212 hasConceptScore W2266299212C11413529 @default.
- W2266299212 hasConceptScore W2266299212C134306372 @default.
- W2266299212 hasConceptScore W2266299212C138673069 @default.
- W2266299212 hasConceptScore W2266299212C153269930 @default.
- W2266299212 hasConceptScore W2266299212C182365436 @default.
- W2266299212 hasConceptScore W2266299212C192034797 @default.
- W2266299212 hasConceptScore W2266299212C199360897 @default.
- W2266299212 hasConceptScore W2266299212C26517878 @default.
- W2266299212 hasConceptScore W2266299212C2776235265 @default.
- W2266299212 hasConceptScore W2266299212C33923547 @default.
- W2266299212 hasConceptScore W2266299212C38652104 @default.
- W2266299212 hasConceptScore W2266299212C41008148 @default.
- W2266299212 hasConceptScore W2266299212C80444323 @default.
- W2266299212 hasLocation W22662992121 @default.
- W2266299212 hasOpenAccess W2266299212 @default.
- W2266299212 hasPrimaryLocation W22662992121 @default.
- W2266299212 hasRelatedWork W120928606 @default.
- W2266299212 hasRelatedWork W1984502727 @default.
- W2266299212 hasRelatedWork W1996347293 @default.
- W2266299212 hasRelatedWork W2004894395 @default.
- W2266299212 hasRelatedWork W2007637032 @default.
- W2266299212 hasRelatedWork W2048963544 @default.
- W2266299212 hasRelatedWork W2068955034 @default.
- W2266299212 hasRelatedWork W2120015120 @default.
- W2266299212 hasRelatedWork W2253676323 @default.
- W2266299212 hasRelatedWork W2279502176 @default.
- W2266299212 hasRelatedWork W2402142462 @default.
- W2266299212 hasRelatedWork W2587865325 @default.
- W2266299212 hasRelatedWork W2593311922 @default.
- W2266299212 hasRelatedWork W2596127847 @default.
- W2266299212 hasRelatedWork W2889206882 @default.
- W2266299212 hasRelatedWork W2949068336 @default.
- W2266299212 hasRelatedWork W3098537093 @default.
- W2266299212 hasRelatedWork W3163489037 @default.
- W2266299212 hasRelatedWork W3201792443 @default.
- W2266299212 hasRelatedWork W59292170 @default.
- W2266299212 hasVolume "23" @default.
- W2266299212 isParatext "false" @default.
- W2266299212 isRetracted "false" @default.
- W2266299212 magId "2266299212" @default.
- W2266299212 workType "article" @default.