FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499126844> ?p ?o ?g. }

• W1499126844 abstract "The expressive power of certain fragments of second-order logic on finite structures is investigated. The fragments are second-order Horn logic, second-order Krom logic, and a symmetric and a deterministic version of the latter. It is shown that all these logics collapse to their existential fragments. In the presence of a successor relation they provide characterizations of polynomial time, deterministic and nondeterministic logspace and of the complement of symmetric logspace. Without a successor relation these logics can still express certain problems that are complete in the corresponding complexity classes, but they are strictly weaker than previously known logics for these classes and fail to express some very simple properties. >" @default.
• W1499126844 created "2016-06-24" @default.
• W1499126844 creator A5010064604 @default.
• W1499126844 date "2002-12-10" @default.
• W1499126844 modified "2023-09-26" @default.
• W1499126844 title "Capturing complexity classes by fragments of second order logic" @default.
• W1499126844 cites W1495098865 @default.
• W1499126844 cites W1590283810 @default.
• W1499126844 cites W1761552948 @default.
• W1499126844 cites W189149083 @default.
• W1499126844 cites W1970629906 @default.
• W1499126844 cites W1974959615 @default.
• W1499126844 cites W1980967952 @default.
• W1499126844 cites W1984581643 @default.
• W1499126844 cites W1984890936 @default.
• W1499126844 cites W1988735961 @default.
• W1499126844 cites W1998162300 @default.
• W1499126844 cites W1999647826 @default.
• W1499126844 cites W2011992362 @default.
• W1499126844 cites W2021929022 @default.
• W1499126844 cites W2031823362 @default.
• W1499126844 cites W2039302045 @default.
• W1499126844 cites W2043360684 @default.
• W1499126844 cites W2043507528 @default.
• W1499126844 cites W2055874330 @default.
• W1499126844 cites W2059144726 @default.
• W1499126844 cites W2063545044 @default.
• W1499126844 cites W2065251436 @default.
• W1499126844 cites W2077925882 @default.
• W1499126844 cites W2079745007 @default.
• W1499126844 cites W2088094394 @default.
• W1499126844 cites W2088956149 @default.
• W1499126844 cites W2109237512 @default.
• W1499126844 cites W2111302825 @default.
• W1499126844 cites W2181072414 @default.
• W1499126844 cites W3105529609 @default.
• W1499126844 cites W3127113455 @default.
• W1499126844 cites W87231157 @default.
• W1499126844 doi "https://doi.org/10.1109/sct.1991.160279" @default.
• W1499126844 hasPublicationYear "2002" @default.
• W1499126844 type Work @default.
• W1499126844 sameAs 1499126844 @default.
• W1499126844 citedByCount "3" @default.
• W1499126844 crossrefType "proceedings-article" @default.
• W1499126844 hasAuthorship W1499126844A5010064604 @default.
• W1499126844 hasConcept C10138342 @default.
• W1499126844 hasConcept C102993220 @default.
• W1499126844 hasConcept C104317684 @default.
• W1499126844 hasConcept C111472728 @default.
• W1499126844 hasConcept C112313634 @default.
• W1499126844 hasConcept C114614502 @default.
• W1499126844 hasConcept C118615104 @default.
• W1499126844 hasConcept C127716648 @default.
• W1499126844 hasConcept C128838566 @default.
• W1499126844 hasConcept C133142742 @default.
• W1499126844 hasConcept C134306372 @default.
• W1499126844 hasConcept C138885662 @default.
• W1499126844 hasConcept C144791301 @default.
• W1499126844 hasConcept C162324750 @default.
• W1499126844 hasConcept C169896238 @default.
• W1499126844 hasConcept C176181172 @default.
• W1499126844 hasConcept C182306322 @default.
• W1499126844 hasConcept C185592680 @default.
• W1499126844 hasConcept C188082640 @default.
• W1499126844 hasConcept C189790780 @default.
• W1499126844 hasConcept C195818886 @default.
• W1499126844 hasConcept C2780586882 @default.
• W1499126844 hasConcept C311688 @default.
• W1499126844 hasConcept C33923547 @default.
• W1499126844 hasConcept C41008148 @default.
• W1499126844 hasConcept C55493867 @default.
• W1499126844 hasConcept C75306776 @default.
• W1499126844 hasConcept C80444323 @default.
• W1499126844 hasConceptScore W1499126844C10138342 @default.
• W1499126844 hasConceptScore W1499126844C102993220 @default.
• W1499126844 hasConceptScore W1499126844C104317684 @default.
• W1499126844 hasConceptScore W1499126844C111472728 @default.
• W1499126844 hasConceptScore W1499126844C112313634 @default.
• W1499126844 hasConceptScore W1499126844C114614502 @default.
• W1499126844 hasConceptScore W1499126844C118615104 @default.
• W1499126844 hasConceptScore W1499126844C127716648 @default.
• W1499126844 hasConceptScore W1499126844C128838566 @default.
• W1499126844 hasConceptScore W1499126844C133142742 @default.
• W1499126844 hasConceptScore W1499126844C134306372 @default.
• W1499126844 hasConceptScore W1499126844C138885662 @default.
• W1499126844 hasConceptScore W1499126844C144791301 @default.
• W1499126844 hasConceptScore W1499126844C162324750 @default.
• W1499126844 hasConceptScore W1499126844C169896238 @default.
• W1499126844 hasConceptScore W1499126844C176181172 @default.
• W1499126844 hasConceptScore W1499126844C182306322 @default.
• W1499126844 hasConceptScore W1499126844C185592680 @default.
• W1499126844 hasConceptScore W1499126844C188082640 @default.
• W1499126844 hasConceptScore W1499126844C189790780 @default.
• W1499126844 hasConceptScore W1499126844C195818886 @default.
• W1499126844 hasConceptScore W1499126844C2780586882 @default.
• W1499126844 hasConceptScore W1499126844C311688 @default.
• W1499126844 hasConceptScore W1499126844C33923547 @default.
• W1499126844 hasConceptScore W1499126844C41008148 @default.
• W1499126844 hasConceptScore W1499126844C55493867 @default.
• W1499126844 hasConceptScore W1499126844C75306776 @default.

• next